ABSTRACT: We study about the metamathematics of Zermelo-Fraenkel set theory with the axiom of choice. We use the validity of Addition and Multiplication. We provide an example that the two operations ...