Theorem

writer : Heath, T. L.

source : The Thirteen Books of the Elements, 2nd ed., Vol. 1: Books I and II. New York: Dover, 1956.

page : ...

21-2-2022 1809

more

Categorical Axiomatic System

writer : Smart, J.

source : Finite Geometries and Axiomatic Systems." 2002. http://www.beva.org/math323/asgn5/nov5.htm.

page : ...

20-2-2022 1763

more

Axiom of Foundation

writer : Ciesielski, K.

source : Set Theory for the Working Mathematician. Cambridge, England: Cambridge University Press, 1997

page : ...

18-2-2022 819

more

Euclid,s Postulates

writer : Hofstadter, D. R

source : Gödel, Escher, Bach: An Eternal Golden Braid. New York: Vintage Books

page : pp. 88-92

20-2-2022 1662

more

Field Axioms

writer : Apostol, T. M.

source : "The Field Axioms." §I 3.2 in Calculus, 2nd ed., Vol. 1: One-Variable Calculus, with an Introduction to Linear Algebra. Waltham, MA: Blaisdell

page : pp. 17-19

20-2-2022 1811

more

Presburger Arithmetic

writer : Presburger, M.

source : "Ueber die Vollstaendigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt." In Comptes Rendus du I congrés de Mathématiciens des Pays Slaves. Warsaw, Poland:

page : ...

21-2-2022 1587

more

Axiom of Infinity

writer : Enderton, H. B

source : Elements of Set Theory. New York: Academic Press, 1977.

page : ...

18-2-2022 849

more

Zermelo-Fraenkel Axioms

writer : Abian, A

source : "On the Independence of Set Theoretical Axioms." Amer. Math. Monthly 76

page : ...

21-2-2022 2895

more

Hilbert,s Axioms

writer : Hilbert, D

source : The Foundations of Geometry, 2nd ed. Chicago, IL: Open Court, 1980.

page : ...

20-2-2022 1844

more

Axiom of Choice

writer : Boyer, C. B. and Merzbacher, U. C.

source : A History of Mathematics, 2nd ed. New York: Wiley, 1991.

page : ...

18-2-2022 2820

more

Kolmogorov,s Axioms

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

21-2-2022 1565

more

Hausdorff Axioms

writer : Hausdorff, F.

source : Grundzüge der Mengenlehre. Leipzig, Germany: von Veit, 1914. Republished as Set Theory, 2nd ed. New York: Chelsea, 1962.

page : ...

20-2-2022 1754

more

Chaos

writer : Devaney, Robert L

source : A First Course in Chaotic Dynamical Systems

page : ...

5-1-2016 1155

more

Axiom of Extensionality

writer : Devlin, K

source : The Joy of Sets: Fundamentals of Contemporary Set Theory, 2nd ed. New York: Springer-Verlag, 1993.

page : ...

18-2-2022 891

more

Axiom of the Unordered Pair

writer : Itô, K. (Ed.)

source : "Zermelo-Fraenkel Set Theory." §33B in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 1. Cambridge, MA: MIT Press

page : pp. 146-148

18-2-2022 1351

more

Axiom Schema

writer : Kleene, S. C

source : Mathematical Logic. New York: Dover, 2002.

page : ...

20-2-2022 1536

more

de Morgan,s Laws

writer : Dugundji, J

source : Topology. Englewood Cliffs, NJ: Prentice-Hall, 1965.Halmos, P. R. Naive Set Theory. New York: Springer-Verlag, 1974.

page : ...

20-2-2022 1934

more

Eilenberg-Steenrod Axioms

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

20-2-2022 1674

more