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

[0151 １３２人目の素数さん 2017/12/24(日) 15:22:44.65 ID:4PSfZe6J]

完全性定理が選択公理を使って証明してるからなあ。数理論理って実に
くだらないよな。論理学の正当化には微塵も役立たない。