フレーゲ『概念記法』における命題論理の公理は6つある*1。その中で (D→(B→A))→(B→(D→A)) が実は余計だったということが後で分かったという。また、 (B→A)→(¬A→¬B) という公理ではなく、これの逆を採用していれば3つで済んだのに、という話もある。 しかし、…