ノート:算術の超準モデル
最新のコメント:6 か月前 | トピック:超準モデルにおける帰納法の有無 | 投稿者:Shinsa82
超準モデルにおける帰納法の有無 編集
ペアノ算術の超準モデルには、フルセット、つまり帰納法を含むものの超準モデルと、帰納法を除いたものの超準モデルとがあるので、両者の区別を明記することが必要だと考えます。--shinsa82(会話) 2023年11月10日 (金) 07:03 (UTC)
ペアノ算術の超準モデルには、フルセット、つまり帰納法を含むものの超準モデルと、帰納法を除いたものの超準モデルとがあるので、両者の区別を明記することが必要だと考えます。--shinsa82(会話) 2023年11月10日 (金) 07:03 (UTC)返信