« first day (234 days earlier)   

5:07 PM
Right now my assumption is that in ZFC, a very powerful theory in comparison to ZFC-infinity, which is equiconsistent with Peano Arithmetic, it's entirely possible, and results in a nonstandard model of a Peano Arithmetic equivalent
 

« first day (234 days earlier)