無矛盾反理矛盾公理とでも言えますが。「無矛盾」は 矛盾である。よって「無矛盾」は有り得ない。とりあえず書きとめ。こいつは、どうやら不可能公理と同値の模様です。0を肯定する←→矛盾を完全に否定できる不可能←→無矛盾と見ますので。
