Quote: a number is an ordered sequence of objects selected from 10 set-theoretic ones

Note

Kripke's seminar: a number is a sequence of objects [selected from 10 set-theoretic ones] which is lexicographically ordered i.e., 7538 is the 4'th object followed by the 3'rd object ... or by numerals: '7' followed by '5'. [cbb: problem--doesn't handle Roman numerals]

Related Topics

Topic: number representation (16 items)