r.: Gödel, sayılar teorisi gibi yeterli karmaşıklıktaki bir sistemde hem doğru hem de yanlış olduğu kanıtlanamayacak bir önermenin var olması gerektiğini kanıtladı.

Gödel, sayılar teorisi gibi yeterli karmaşıklıktaki bir sistemde hem doğru hem de yanlış olduğu kanıtlanamayacak bir önermenin var olması gerektiğini kanıtladı.