Absoluteness of infinitude between transitive models
= Absoluteness of infinitude between transitive models
Transitive models of <ZFC> have the same <natural numbers> and agree on whether a shared set is a <finite set>. Consequently they also agree on whether it is an <infinite set>.