13/10/22 19:44:57.21
>>247 に標準ストラクチャーの話しがあった
でも、このレスの
「標準モデルとはBasicの標準ストラクチャーと同義のようです。」
っていうのは、言葉使いがおかしいよね
標準ストラクチャーっていうのはあくまで算術の言語(={ 0, Succ, ＋, ・})の解釈のことであって
別に特定の理論には縛られない
「標準ストラクチャーは、Basicのモデルになっている」
「Basic は、標準ストラクチャーをモデルに持つ」っていわないと
13/10/22 19:44:57.21
>>247 に標準ストラクチャーの話しがあった
でも、このレスの
「標準モデルとはBasicの標準ストラクチャーと同義のようです。」
っていうのは、言葉使いがおかしいよね
標準ストラクチャーっていうのはあくまで算術の言語(={ 0, Succ, ＋, ・})の解釈のことであって
別に特定の理論には縛られない
「標準ストラクチャーは、Basicのモデルになっている」
「Basic は、標準ストラクチャーをモデルに持つ」っていわないと