>>69
やりなおすといいますが，一生かけてやったしごとが無に帰すこともあるわけで
文系の仕事ではそういうことはありえませんけど．
>>67
厨房でも知っているかもしれないのでは，選出公理があげられるでしょう．
>>71
排中律がなくなれば，むだに定理が増えないだろうということです．