Çok eski bir web tarayıcısı kullanıyorsunuz. Bu veya diğer siteleri görüntülemekte sorunlar yaşayabilirsiniz.. Tarayıcınızı güncellemeli veya alternatif bir tarayıcı kullanmalısınız.
Bir T matematik kuramına "A değil" önermesininin eklenmesiyle oluşan T' kuramı çelişkili olduğunda, A nın doğru bir önerme olduğunu belirten ispat yöntemi.
