axiomatic set theory oor Sweeds

axiomatic set theory

Vertalings in die woordeboek Engels - Sweeds

Mängdteoretiska axiom

version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic

voorbeelde

Today ZFC is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.
ZFC betraktas allmänt som en adekvat axiomatisk grund för i stort sett all matematik.

In work on Zermelo–Fraenkel set theory, the notion of class is informal, whereas other set theories, such as von Neumann–Bernays–Gödel set theory, axiomatize the notion of "proper class", e.g., as entities that are not members of another entity.
Inom Zermelo-Fraenkels mängdteori, är begreppet klass informellt, medan andra teorier, såsom Von Neumann-Bernays-Gödels mängdteori, axiomerar begreppet "äkta klass", exempelvis som enheter som inte är medlemmar i en annan enhet.