Axiom of Subsets

writer : Enderton, H. B

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

page : ...

18-2-2022 956

more

Peano,s Axioms

writer : Wolfram, S

source : A New Kind of Science. Champaign, IL: Wolfram Media

page : p. 1152

21-2-2022 1573

more

Parallel Postulate

writer : Brodie, S. E

source : "The Pythagorean Theorem Is Equivalent to the Parallel Postulate." http://www.cut-the-knot.org/triangle/pythpar/PTimpliesPP.shtml.Dixon, R. Mathographics. New York: Dover,

page : ...

21-2-2022 1614

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 1577

more

Absorption Law

writer : Birkhoff, G. and Mac Lane, S

source : A Survey of Modern Algebra, 5th ed. New York: Macmillian

page : ...

18-2-2022 1117

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 822

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 1487

more

Axiom Schema

writer : Kleene, S. C

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

page : ...

20-2-2022 1447

more

Continuity Axioms

writer : Dunham, W

source : Journey through Genius: The Great Theorems of Mathematics. New York: Wiley,

page : ...

20-2-2022 1335

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 1800

more

Zermelo-Fraenkel Axioms

writer : Abian, A

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

page : ...

21-2-2022 2721

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 1702

more

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 1701

more

Axiom of Infinity

writer : Enderton, H. B

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

page : ...

18-2-2022 775

more

Hilbert,s Axioms

writer : Hilbert, D

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

page : ...

20-2-2022 1707

more

Long Exact Sequence of a Pair Axiom

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

source : www.almerja.com

page : ...

21-2-2022 1515

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 1652

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 1275

more