11/10/30 10:41:31.14
>>12
とはいえモデルってものはそのユニバースを集合としているわけで、
決して「集合論なんて知りません」というスタンスではない。
集合論という理論の中で成立している特定の定理を、どうすれば具体物に適用できるのか、
正当化できるのか、という質問です。
11/10/30 10:41:31.14
>>12
とはいえモデルってものはそのユニバースを集合としているわけで、
決して「集合論なんて知りません」というスタンスではない。
集合論という理論の中で成立している特定の定理を、どうすれば具体物に適用できるのか、
正当化できるのか、という質問です。