11/01/05 21:39:33
>>108-109
了解しました。というか何となくすっきりしました。
まあACがない場合どうなるか、という仮定だと面白い結果が無いんでしょうね。
wikipediaでは「一階述語論理における意味論的真理と統語論的立証性の対応を確立した」とか
いかにも絶対に成立する結果のように書いてるけどｗ
11/01/05 21:39:33
>>108-109
了解しました。というか何となくすっきりしました。
まあACがない場合どうなるか、という仮定だと面白い結果が無いんでしょうね。
wikipediaでは「一階述語論理における意味論的真理と統語論的立証性の対応を確立した」とか
いかにも絶対に成立する結果のように書いてるけどｗ