数理論理学（数学基礎論） その12

[0455 １３２人目の素数さん 2018/01/02(火) 13:54:54.93 ID:xgu4Hu0I]

>>451
だから、メタな仮定を一切認めないなら論理の形式化を全て諦めればいいじゃないですか
前にも言ったはずですよ？