17/07/27 09:31:46.47 .net
>>779
ありがとうございます
メタ証明に用いて良い公理が論理公理か数学公理かでやはり微妙な違和感の存否が分かれるんですね。
17/07/27 09:31:46.47 .net
>>779
ありがとうございます
メタ証明に用いて良い公理が論理公理か数学公理かでやはり微妙な違和感の存否が分かれるんですね。
17/07/27 09:31:46.47 .net
>>779
ありがとうございます
メタ証明に用いて良い公理が論理公理か数学公理かでやはり微妙な違和感の存否が分かれるんですね。