Categorical Axiomatic System

writer : Smart, J.

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

page : ...

1183

more

Axiom of Choice

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

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

page : ...

1798

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 : ...

562

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 : ...

1115

more

Kolmogorov,s Axioms

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

source : www.almerja.com

page : ...

1124

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

1132

more

Axiom of Foundation

writer : Ciesielski, K.

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

page : ...

411

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 : ...

1111

more

Hilbert,s Axioms

writer : Hilbert, D

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

page : ...

1182

more

Absorption Law

writer : Birkhoff, G. and Mac Lane, S

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

page : ...

730

more

Axiom of the Power Set

writer : Enderton, H. B

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

page : ...

569

more

Continuity Axioms

writer : Dunham, W

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

page : ...

985

more

Zermelo-Fraenkel Axioms

writer : Abian, A

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

page : ...

2026

more

Long Exact Sequence of a Pair Axiom

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

source : www.almerja.com

page : ...

1093

more

Axiom of Replacement

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

602

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 : ...

1223

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 : ...

1203

more

Axiom Schema

writer : Kleene, S. C

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

page : ...

1081

more