How can we know we're not accidentally talking about non-standard integers? – math.stackexchange.com

How can we know we're not accidentally talking about non-standard integers? – math.stackexchange.com

21:34 No Comments
This question is mostly from pure curiosity. We know that any formal system cannot completely pin down the natural numbers. So regardless of whether we're reasoning in PA or ZFC or something else, ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

0 Comment to "How can we know we're not accidentally talking about non-standard integers? – math.stackexchange.com"

Post a Comment

Subscribe to: Post Comments (Atom)