urelement
Look at other dictionaries:
Urelement — In set theory, a branch of mathematics, an urelement or ur element (from the German prefix ur , primordial ) is an object (concrete or abstract) which is not a set, but that may be an element of a set. Urelements are sometimes called atoms or… … Wikipedia
Urelement — Urelemente sind in der Mengenlehre Elemente, die selbst keine Elemente enthalten.[1][2] Sie bilden also einen echten Teilbereich der Elemente. Urelemente sind von Individuen zu unterscheiden, da letztere heute in der Mathematik meist mit… … Deutsch Wikipedia
Zermelo-Fraenkel-Mengenlehre — Die Zermelo Fraenkel Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist. Sie ist heute Grundlage fast aller Zweige der Mathematik. Die Zermelo Fraenkel Mengenlehre ohne… … Deutsch Wikipedia
Scott–Potter set theory — An approach to the foundations of mathematics that is of relatively recent origin, Scott–Potter set theory is a collection of nested axiomatic set theories set out by the philosopher Michael Potter, building on earlier work by the mathematician… … Wikipedia
Zermelo Fraenkel — Die Zermelo Fraenkel Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist. Sie ist heute Grundlage fast aller Zweige der Mathematik. Die Zermelo Fraenkel Mengenlehre ohne… … Deutsch Wikipedia
Ur-element — En théorie des ensembles, un ur element (ou urelement) est quelque chose qui n est pas un ensemble mais qui peut être élément d un ensemble. Ainsi, si u est un ur element, et X un ensemble, on peut avoir ou non : u ∈ X, mais X ∈ u est… … Wikipédia en Français
Ur-élément — Ur element En théorie des ensembles, un ur element (ou urelement) est quelque chose qui n est pas un ensemble mais qui peut être élément d un ensemble. Ainsi, si u est un ur element, et X un ensemble, on peut avoir ou non : u ∈ X, mais X ∈ u … Wikipédia en Français
Willard Van Orman Quine — Unreferenced|date=August 2007 Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE image caption = Willard Van Orman Quine name = Willard Van Orman Quine birth = birth date|mf=yes|1908|6|25 death = death… … Wikipedia
Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science … Wikipedia
Kripke–Platek set theory with urelements — The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements that is considerably weaker than the familiar system ZF. PreliminariesThe usual way of stating the axioms presumes a two sorted first order… … Wikipedia