with Megill, J. L. , Beal, A. , 2014, 'On some properties of humanly known and humanly knowable mathematics', Axiomathes 24 (1), 81-88.