数学の大きな基礎となっているのは、判断は同時に真でもあり偽でもあることはあり得ないという、言い換えれば、ＡはＡであって非Ａではないという、一致か、矛盾かの原則である。