It is not the case that On a strict formalist reading (cf. Curry, Detlefsen's 'Hilbert's Program'), there is no well-defined notion of 'natural number' outside a formal system against which model elements can be measured as 'non-standard'.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.