 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.