Çelişmezlik ilkesi nedir (A, A-olmayan değildir) Testleri