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

[0823 １３２人目の素数さん 2019/02/19(火) 04:10:44.49 ID:48quv/+1]

証明を簡単にするために、論理記号は¬と⇒だけみたいな感じで少なめにして欲しいわ