Jelaskan Lihat pula dari Kurt Gödel

Original proof of Gödel's completeness theorem

Rebecca Goldstein, 2005. Incompleteness: The Proof and Paradox of Kurt Gödel. W. W. Norton & Company, New York. ISBN 0-393-32760-4 pbk.