公理NOT-2は「principleofexplosion矛盾からは何でも導出できる」ということを述べている.
principleofexplosion