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

[0868 １３２人目の素数さん 2018/06/13(水) 08:04:59.36 ID:kwwukDpV]

>>866
＞背理法が使えるような定義でなくては誰も興味持たないよ

勿論、使えるさ。