Bilim & MühendislikPrincipia Mathematica ve İlişkili Dizgelerin Biçimsel Olarak Kararlaştırılamayan Önermeleri Üzerine-1Kurt Gödel
