11/01/02 22:32:30
>>76
少なくとも無矛盾性を問題にしているときに無限公理を疑うってのは極悪過ぎない？
>>77
論理式を実在物として構文論的に考察しているときのことを言ってるんだが。
「理論」の拡張時に無矛盾性を保ちながら極大集合を得る話でしょ。構文論だと認識してるが。
11/01/02 22:32:30
>>76
少なくとも無矛盾性を問題にしているときに無限公理を疑うってのは極悪過ぎない？
>>77
論理式を実在物として構文論的に考察しているときのことを言ってるんだが。
「理論」の拡張時に無矛盾性を保ちながら極大集合を得る話でしょ。構文論だと認識してるが。