ノート:算術の超準モデル

超準モデルにおける帰納法の有無

ペアノ算術の超準モデルには、フルセット、つまり帰納法を含むものの超準モデルと、帰納法を除いたものの超準モデルとがあるので、両者の区別を明記することが必要だと考えます。--shinsa82（会話） 2023年11月10日 (金) 07:03 (UTC)