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

大学学部レベル質問スレ 18単位目at MATH

大学学部レベル質問スレ 18単位目 - 暇つぶし2ch279:d同型対応の文献で、直観主義一階述語論理を帰納法が成立するよう拡張する部分の説明を勘違いしましたつまり帰納法が成立するのはあくまで拡張であって、本来の直観主義論理ではないということですか