11/01/03 01:37:26
ごめん>>80はちょっといろいろ言い切りすぎてるか
「一階述語論理の公理系がなにがしかの性質をもつことを、厳密に示す場合」には
公理系を集合とみなして、集合論を道具として使って議論を進めて
その集合論に基づく議論によって得られた結果をもってして
「一階述語論理の公理系はこれこれの性質をもつことが示された」
と考えるんだと思う。
あと、もちろん、その超数学的議論の中では
その発想のおおもとや意味が有限的なものではない
集合論のいろいろな公理とか、モデルや解釈や
それを集めるとか一つ選ぶとかいった概念が登場するけど
それは普通は問題とは考えない。
・・・あれ、なんだろ
なんか今になって急に恥ずかしくなってきた
もしかして俺、場違い？