Degen, J. W. (2011). Socrates did it before Gödel. Logic and Logical Philosophy, 20(3), 205–214. https://doi.org/10.12775/LLP.2011.011