09/03/14 16:05:54
>>544
与えられた公理（自然数の足し算とかけ算）のみをもとに、
有限回のステップで結論を導いてるから証明といえる。
この場合は命題が自明すぎるから、
騙されたような気になるのかもしれないな。
09/03/14 16:05:54
>>544
与えられた公理（自然数の足し算とかけ算）のみをもとに、
有限回のステップで結論を導いてるから証明といえる。
この場合は命題が自明すぎるから、
騙されたような気になるのかもしれないな。
09/03/14 16:05:54
>>544
与えられた公理（自然数の足し算とかけ算）のみをもとに、
有限回のステップで結論を導いてるから証明といえる。
この場合は命題が自明すぎるから、
騙されたような気になるのかもしれないな。