【Perl,PHP】LLバトルロワイヤル4【Ruby,Python】

【Perl,PHP】LLバトル ..

547:デフォルトの名無しさん
09/03/14 16:05:54
>>544
与えられた公理（自然数の足し算とかけ算）のみをもとに、
有限回のステップで結論を導いてるから証明といえる。

この場合は命題が自明すぎるから、
騙されたような気になるのかもしれないな。