2012年度数学IA補足プリント（その１）
from 数理論理学のブックマーク一覧
２０１２年度数学IA補足プリント（その１）
Archimedesの公理に言及している
自然数の構成で自然数論の無矛盾性を示さなければならないらしい
#2023-08-29 09:15:21
#2023-05-20 09:44:58