大学学部レベル質問スレ 9単位目

[0378 １３２人目の素数さん 2018/02/17(土) 15:00:10.44 ID:lVgegKOL]

>>377
メタな意味では数学的帰納法は認められていますから、自然数論を形式化したいならば、数学的帰納法も形式化しておく必要があります