13/10/19 12:26:16.86
>>334
公理系の無矛盾性概念は変えたくないですよ。変わっちゃおかしいでしょ。
>>329=>>314ですけど、どの箇所がおかしいんですか？
>>335
証明できない=>証明がどこにも存在しない
論理式が存在=>論理式がどこかに存在
という解釈になってしまい「どこかに」じゃ定義として認められないとなれば、
確定した全体として集合概念が結局は必要になってしまうんじゃないかと思います。
13/10/19 12:26:16.86
>>334
公理系の無矛盾性概念は変えたくないですよ。変わっちゃおかしいでしょ。
>>329=>>314ですけど、どの箇所がおかしいんですか？
>>335
証明できない=>証明がどこにも存在しない
論理式が存在=>論理式がどこかに存在
という解釈になってしまい「どこかに」じゃ定義として認められないとなれば、
確定した全体として集合概念が結局は必要になってしまうんじゃないかと思います。