Categorical Axiomatic System

writer : Smart, J.

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

page : ...

27-12-2021 1411

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

27-12-2021 2320

more

Burali-Forti Paradox

writer : Burali-Forti, C

source : "Una questione sui numeri transfiniti." Rendiconti del Circolo Mat. di Palermo 11

page : ...

27-12-2021 2938

more

Order Isomorphic

writer : Ciesielski, K.

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

page : ...

5-1-2022 1989

more

Poretsky,s Law

writer : Hall, F. M

source : An Introduction to Abstract Algebra, Vol. 1, 2nd ed. Cambridge, England: Cambridge University Press

page : ...

12-1-2022 1650

more

Characteristic Function

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

source : www.almerja.com

page : ...

13-1-2022 2361

more

Disjoint Union

writer : Armstrong, M. A

source : Basic Topology, rev. ed. New York: Springer-Verlag, 1997.

page : ...

11-1-2022 1208

more

Supremum

writer : Croft, H. T.; Falconer, K. J.; and Guy, R. K

source : Unsolved Problems in Geometry. New York: Springer-Verlag

page : ...

12-1-2022 3144

more

Zermelo-Fraenkel Set Theory

writer : Montague, R.

source : "Semantic Closure and Non-Finite Axiomatizability. I." In Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, (Warsaw, 2-9 September 1959). Oxford, England: Pergamon

page : ...

30-12-2021 2204

more

Continuum

writer : Kuratowski, K.

source : Topology, Vol. 2. New York: Academic Press, 1968.

page : ...

26-12-2021 1636

more

Family

writer : Bourbaki, N

source : Eléments de Mathématiques. Théorie des Ensembles. Paris, France: Hermann

page : p. ER11

13-1-2022 1839

more

Relations-Ordered Pairs, Cartesian Products

writer : Ivo Düntsch and Günther Gediga

source : Sets, Relations, Functions

page : 21-23

14-2-2017 2369

more

NAND

writer : Mendelson, E

source : Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.

page : ...

4-1-2022 1733

more

Axiom of Subsets

writer : Enderton, H. B

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

page : ...

27-12-2021 1784

more

Cardinal Addition

writer : Ciesielski, K

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

page : ...

26-12-2021 1460

more

Sets-De Morgan Rules, Distributivity, Tables

writer : Ivo Düntsch and Günther Gediga

source : Sets, Relations, Functions

page : 17-19

14-2-2017 2482

more

Direct Sum

writer : Rosen, K. H.

source : Handbook of Discrete and Combinatorial Mathematics. Boca Raton, FL: CRC Press, 2000.

page : ...

11-1-2022 1584

more

Finite Set

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

source : www.almerja.com

page : ...

16-1-2022 3153

more