2 ms·
'because it asserts the existence of natural numbers that have no "written form"' I mean, mainstream axiomatic systems assert the existence of real numbers tha
by ummonk 5y ago
'because it asserts the existence of natural numbers that have no "written form"'
I mean, mainstream axiomatic systems assert the existence of real numbers that have no written form (after all, only countably many entities can have a written form), so how is this any different?