#wittgenstein #kreisel #philosophy #mathematics