Axiom NOT-1 corresponds to "reductio ad absurdum."
Τo αξιώμα Not-1 είναι γνωστό ως "reductio ad absurdum".