BranchesHistoryFPLHelpLogin
Welcome guest
You're not logged in.
301 users online, thereof 0 logged in

The first axiom ensures the existence of a universal set.

Axiom: Axiom of Existence

A set exists. Formally, $\exists X:X=X.$

| | | | | created: 2019-01-06 17:10:07 | modified: 2019-08-03 19:17:18 | by: bookofproofs | references: [656], [1038]

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

[656] Hoffmann, Dirk W.: “Grenzen der Mathematik – Eine Reise durch die Kerngebiete der mathematischen Logik”, Spektrum Akademischer Verlag, 2011

[1038] Wille, D; Holz., M : “Repetitorium der Linearen Algebra”, Binomi Verlag, 1994