21/08/10 08:43:42.11 5LlR261G.net
>>408
>ただ、（なんらかの公理を付加した上で）
>「そういってもいいのではないか」
>といいたがってるようには見える
それは証明の外でですよね？であれば証明の正しさとは無関係ですね。
21/08/10 08:43:42.11 5LlR261G.net
>>408
>ただ、（なんらかの公理を付加した上で）
>「そういってもいいのではないか」
>といいたがってるようには見える
それは証明の外でですよね？であれば証明の正しさとは無関係ですね。