18/06/02 01:35:20.09 .net
ということは形式的体系外で議論している内容を体系内へ表現することって意識はすると思うのですが、
数論的関数を形式的体系へ表現したのと同様に
ZFCにおける論理式を形式的体系へ表現するとか言う議論ってあるんですか？
18/06/02 01:35:20.09 .net
ということは形式的体系外で議論している内容を体系内へ表現することって意識はすると思うのですが、
数論的関数を形式的体系へ表現したのと同様に
ZFCにおける論理式を形式的体系へ表現するとか言う議論ってあるんですか？