Outline 目的: 真理理論の「計算的」内容について考察を加える 題材: PAŁTr2 無制限な T-図式と全域的な真理述語を持つ 論理式の循環的な定義を許す 問題: PAŁTr2 は ω-矛盾である [R93][HPS00]。 疑問: 制限なしの真理述語を持っているという点で、PAŁT…