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 1615

more

Zermelo-Fraenkel Axioms

writer : Abian, A

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

page : ...

21-2-2022 2564

more

Probability Axioms

writer : Doob, J. L

source : The Development of Rigor in Mathematical Probability (1900-1950)." Amer. Math. Monthly 103

page : ...

21-2-2022 1534

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 1398

more

Peano,s Axioms

writer : Wolfram, S

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

page : p. 1152

21-2-2022 1496

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 1496

more

Long Exact Sequence of a Pair Axiom

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

source : www.almerja.com

page : ...

21-2-2022 1433

more

Kolmogorov,s Axioms

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

source : www.almerja.com

page : ...

21-2-2022 1402

more

Hilbert,s Axioms

writer : Hilbert, D

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

page : ...

20-2-2022 1603

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 1563

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 1580

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 1512

more

Eilenberg-Steenrod Axioms

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

source : www.almerja.com

page : ...

20-2-2022 1472

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 1698

more

Continuity Axioms

writer : Dunham, W

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

page : ...

20-2-2022 1256

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 1570

more

Axiom Schema

writer : Kleene, S. C

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

page : ...

20-2-2022 1374

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 1205

more