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

[0488 １３２人目の素数さん 2018/01/04(木) 07:32:22.57 ID:ZgRpzAUK]

>>486
猿がコンピューターを使っている


これは真偽が決定できない命題ですか？
ナンセンスな命題ですか？
議論世界が決定できない命題ですか？