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