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