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

ページのコンテンツが他言語でサポートされていません。

超準モデルにおける帰納法の有無[編集]

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

「https://ja.wikipedia.org/w/index.php?title=ノート:算術の超準モデル&oldid=97828837」から取得