Zouhar, J. Gödel’s Incompleteness Theorem and the Relation of Logical Consequence. Theory of Science 2010, 32 (1), 59-95. https://doi.org/10.46938/tv.2010.65.