A nonstandard set theory ZFC is proposed that axiomatizes the nonstandard embedding . Besides the usual principles of nonstandard analysis, all axioms of ZFC except regularity are assumed. A strong form of saturation is also postulated. ZFC is a conservative extension of ZFC.