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

[0020 １３２人目の素数さん 2012/01/03(火) 09:47:01.11]

質問
１．数学の理論に決定可能性は必要？
２．数学の理論に無矛盾性証明は必要？
３．１及び２の要件を満たさない
　　現在の集合論は数学ではない？