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 Addition and Multiplication do not
commute with each other. All analyses are performed in a finite set of natural
numbers.
Cite this paper
Nagata, K. and Nakamura, T. (2015). Do the Two Operations Addition and Multiplication Commute with Each Other?. Open Access Library Journal, 2, e1803. doi: http://dx.doi.org/10.4236/oalib.1101803.
Abian, A. and LaMacchia, S. (1978) On the Consistency and
Independence of Some Set-Theoretical Axioms. Notre Dame Journal of Formal Logic, 19, 155-158. http://dx.doi.org/10.1305/ndjfl/1093888220
Suppes, P. (1960) Axiomatic Set Theory. Dover Reprint.
Perhaps the Best Exposition of ZFC before the Independence of AC and the
Continuum Hypothesis, and the Emergence of Large Cardinals. Includes Many Theorems.
van Heijenoort, J. (1967) From Frege to Godel: A Source
Book in Mathematical Logic, 1879-1931. Harvard Univ. Press. Includes Annotated English
Translations of the Classic Articles by Zermelo, Fraenkel, and Skolem Bearing on
ZFC.
van Heijenoort, J. (1967) Investigations in the Foundations
of Set Theory. From Frege to Godel: A Source Book in Mathematical Logic,
1879-1931. Source
Books in the History of the Sciences, Harvard University Press, 199-215.