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