Zouhar, Jaroslav. “Gödel’s Incompleteness Theorem and the Relation of Logical Consequence”. Teorie vědy / Theory of Science 32, no. 1 (April 23, 2010): 59–95. Accessed November 24, 2024. https://teorievedy.flu.cas.cz./index.php/tv/article/view/65.