Axiom of empty set

http://dbpedia.org/resource/Axiom_of_empty_set an entity of type: WikicatAxiomsOfSetTheory

En teoria de conjunts, l'axioma del conjunt buit és un axioma que postula l'existència d'un conjunt buit, és a dir, un conjunt sense elements. rdf:langString
In axiomatic set theory, the axiom of empty set is a statement that asserts the existence of a set with no elements. It is an axiom of Kripke–Platek set theory and the variant of general set theory that Burgess (2005) calls "ST," and a demonstrable truth in Zermelo set theory and Zermelo–Fraenkel set theory, with or without the axiom of choice. rdf:langString
En aroteorio, la aksiomo de malplena aro estas aksiomo de (ZF), la fragmento de , kaj de . rdf:langString
L'axiome de l'ensemble vide est, en mathématiques, l'un des axiomes possibles de la théorie des ensembles. Comme son nom l'indique, il permet de poser l'existence d'un ensemble vide. Dans les présentations modernes, il n'est plus mentionné parmi les axiomes des théories des ensembles de Zermelo, ou Zermelo-Fraenkel, car il est conséquence en logique du premier ordre du schéma d'axiomes de compréhension. rdf:langString
En teoría de conjuntos, el axioma del conjunto vacío es un axioma que postula la existencia de un conjunto vacío, es decir, un conjunto sin elementos. rdf:langString
空集合の公理 (くうしゅうごうのこうり、英: axiom of empty set) は、ツェルメロ=フレンケル集合論やの公理の一つで、「いかなる要素も含まない集合が存在する」ことを主張するものである。ただし、この公理を採用しないZF公理系の定式化も存在する。 rdf:langString
Аксиомой [существования] пустого множества называется следующее высказывание теории множеств: . Аксиома пустого множества провозглашает существование по меньшей мере одного пустого множества, то есть множества, не содержащего ни одного элемента. Пустое множество является своим подмножеством, но не является своим элементом. rdf:langString
Аксіомою [існування] порожньої множини називається наступне висловлювання теорії множин Аксіома порожньої множини проголошує існування принаймні однієї порожньої множини, тобто множини, яка не містить ні одного елемента. Порожня множина є своєю підмножиною, але не є своїм елементом. rdf:langString
Tomma mängdens axiom är ett av de mängdteoretiska axiomen. Det är till exempel ett av axiomen i ZFC, d.v.s. Zermelo-Fraenkels mängdteori med urvalsaxiomet som är det dominerande sättet att axiomatisera mängdteori. Uttryckt med predikatlogikens formella språk lyder axiomet: Med ord kan axiomet uttryckas: Det finns en mängd A sådan att för varje mängd B gäller att B inte är ett element i A. Det följer av extensionalitetsaxiomet att denna mängd A är unik och man kallar den för den tomma mängden. Axiomet betyder alltså helt enkelt Den tomma mängden existerar. rdf:langString
在集合论中,空集公理是 Zermelo-Fraenkel 集合论的公理之一。 rdf:langString
Nella teoria degli insiemi, l'assioma dell'insieme vuoto è uno degli assiomi della teoria degli insiemi di Zermelo-Fraenkel. Nel linguaggio formale degli assiomi di Zermelo-Fraenkel, l'assioma si scrive: oppure a parole: Esiste un insieme x tale che nessun insieme y è un suo elemento. Possiamo usare l'assioma di estensionalità per mostrare che tale insieme è unico. Essendo unico, possiamo dargli un nome, quello appunto di insieme vuoto. L'insieme vuoto viene indicato con il simbolo oppure con {}. rdf:langString
Aksjomat zbioru pustego – jeden z aksjomatów teorii mnogości w ujęciu Zermela-Fraenkla, zakładający istnienie zbioru pustego. Istnieje zbiór taki, że żaden element do niego nie należy. Można to zapisać zdaniem logicznym: Na mocy aksjomatu ekstensjonalności istnieje tylko jeden zbiór posiadający taką właściwość – jest to zbiór pusty Jeśli język teorii mnogości jest uzupełniony o symbol zbioru pustego jako zbioru zdefiniowanego przez warunek to aksjomat nieskończoności gwarantujący istnienie zbioru zawiera frazę w przeciwnym razie trzeba ją zastąpić przez frazę rdf:langString
Em teoria axiomática dos conjuntos, o axioma do conjunto vazio é um postulado lógico para garantir, formalmente, a existência de um conjunto sem elementos. O axioma possui, usando-se a linguagem da lógica formal, o seguinte enunciado: Em palavras, Existe um conjunto sem elemento algum. Numa teoria axiomática de conjuntos em que o axioma-esquema da separação não é assumido, é preciso prová-lo como teorema usando o axioma-esquema da substituição; e, dependendo de como se formula o axioma-esquema da substituição, pode ser necessário assumir o axioma do conjunto vazio. rdf:langString
rdf:langString Axioma del conjunt buit
rdf:langString Axiom der leeren Menge
rdf:langString Aksiomo de malplena aro
rdf:langString Axiom of empty set
rdf:langString Axioma del conjunto vacío
rdf:langString Axiome de l'ensemble vide
rdf:langString 空集合の公理
rdf:langString Assioma dell'insieme vuoto
rdf:langString Aksjomat zbioru pustego
rdf:langString Axioma do conjunto vazio
rdf:langString Аксиома пустого множества
rdf:langString Tomma mängdens axiom
rdf:langString 空集公理
rdf:langString Аксіома порожньої множини
xsd:integer 52534
xsd:integer 1115315694
rdf:langString En teoria de conjunts, l'axioma del conjunt buit és un axioma que postula l'existència d'un conjunt buit, és a dir, un conjunt sense elements.
rdf:langString In axiomatic set theory, the axiom of empty set is a statement that asserts the existence of a set with no elements. It is an axiom of Kripke–Platek set theory and the variant of general set theory that Burgess (2005) calls "ST," and a demonstrable truth in Zermelo set theory and Zermelo–Fraenkel set theory, with or without the axiom of choice.
rdf:langString En aroteorio, la aksiomo de malplena aro estas aksiomo de (ZF), la fragmento de , kaj de .
rdf:langString L'axiome de l'ensemble vide est, en mathématiques, l'un des axiomes possibles de la théorie des ensembles. Comme son nom l'indique, il permet de poser l'existence d'un ensemble vide. Dans les présentations modernes, il n'est plus mentionné parmi les axiomes des théories des ensembles de Zermelo, ou Zermelo-Fraenkel, car il est conséquence en logique du premier ordre du schéma d'axiomes de compréhension.
rdf:langString En teoría de conjuntos, el axioma del conjunto vacío es un axioma que postula la existencia de un conjunto vacío, es decir, un conjunto sin elementos.
rdf:langString 空集合の公理 (くうしゅうごうのこうり、英: axiom of empty set) は、ツェルメロ=フレンケル集合論やの公理の一つで、「いかなる要素も含まない集合が存在する」ことを主張するものである。ただし、この公理を採用しないZF公理系の定式化も存在する。
rdf:langString Nella teoria degli insiemi, l'assioma dell'insieme vuoto è uno degli assiomi della teoria degli insiemi di Zermelo-Fraenkel. Nel linguaggio formale degli assiomi di Zermelo-Fraenkel, l'assioma si scrive: oppure a parole: Esiste un insieme x tale che nessun insieme y è un suo elemento. Possiamo usare l'assioma di estensionalità per mostrare che tale insieme è unico. Essendo unico, possiamo dargli un nome, quello appunto di insieme vuoto. L'insieme vuoto viene indicato con il simbolo oppure con {}. L'assioma dell'insieme vuoto è generalmente considerato non controverso, e appare in questa forma o in una forma equivalente in quasi tutte le assiomatizzazioni alternative dalla teoria degli insiemi. In alcune formulazioni di ZF, l'assioma dell'insieme vuoto è ulteriormente ripetuto nell'assioma dell'infinito.D'altra parte, esistono altre formulazioni di questo assioma che non presuppongono l'esistenza di un insieme vuoto.Inoltre, gli assiomi di ZF possono anche essere scritti usando un che rappresenta l'insieme vuoto; allora l'assioma dell'infinito usa questo predicato senza richiedere che l'insieme che rappresenta sia vuoto, mentre l'assioma dell'insieme vuoto è necessario per affermare che di fatto è vuoto.Talvolta si considerano teorie degli insiemi nelle quali non esistono insiemi infiniti, e quindi l'assioma dell'insieme vuoto è ancora necessario.Detto questo, ogni assioma che afferma l'esistenza di un insieme qualsiasi implica l'assioma dell'insieme vuoto, mediante l'uso dello .
rdf:langString Aksjomat zbioru pustego – jeden z aksjomatów teorii mnogości w ujęciu Zermela-Fraenkla, zakładający istnienie zbioru pustego. Istnieje zbiór taki, że żaden element do niego nie należy. Można to zapisać zdaniem logicznym: Na mocy aksjomatu ekstensjonalności istnieje tylko jeden zbiór posiadający taką właściwość – jest to zbiór pusty Wraz z aksjomatem nieskończoności zaliczany jest do absolutnych pewników istnienia – postuluje on bowiem istnienie pewnego obiektu matematycznego (w tym wypadku zbioru pustego) bez żadnych dodatkowych założeń, w przeciwieństwie do większości aksjomatów Zermelo-Frenkla, uzależniających istnienie nowych obiektów od pewnych obiektów już istniejących. Aksjomat zbioru pustego zazwyczaj wymienia się wśród aksjomatów Zermela-Fraenkla. Można go jednak bez szkody dla teorii pominąć, bowiem wynika on z aksjomatu nieskończoności – aksjomat nieskończoności gwarantuje istnienie zbioru, którego jednym z elementów jest właśnie zbiór pusty. Jeśli język teorii mnogości jest uzupełniony o symbol zbioru pustego jako zbioru zdefiniowanego przez warunek to aksjomat nieskończoności gwarantujący istnienie zbioru zawiera frazę w przeciwnym razie trzeba ją zastąpić przez frazę
rdf:langString Em teoria axiomática dos conjuntos, o axioma do conjunto vazio é um postulado lógico para garantir, formalmente, a existência de um conjunto sem elementos. O axioma possui, usando-se a linguagem da lógica formal, o seguinte enunciado: Em palavras, Existe um conjunto sem elemento algum. Em algumas formulações da axiomática de Zermelo-Fraenkel, o axioma do conjunto vazio vem incluso no axioma do infinito; em outras não. Contudo, em qualquer modelo axiomático da teoria dos conjuntos que admita a existência de um conjunto e possua o axioma-esquema da separação, como Zermelo-Fraenkel, o axioma do conjunto vazio é derivado como teorema. Realmente, escolhe-se um predicado contraditório e aplica-se o axioma-esquema da separação para tal predicado. Por exemplo, se é um conjunto, escolhendo temos que é um conjunto vazio. Numa teoria axiomática de conjuntos em que o axioma-esquema da separação não é assumido, é preciso prová-lo como teorema usando o axioma-esquema da substituição; e, dependendo de como se formula o axioma-esquema da substituição, pode ser necessário assumir o axioma do conjunto vazio.
rdf:langString Аксиомой [существования] пустого множества называется следующее высказывание теории множеств: . Аксиома пустого множества провозглашает существование по меньшей мере одного пустого множества, то есть множества, не содержащего ни одного элемента. Пустое множество является своим подмножеством, но не является своим элементом.
rdf:langString Аксіомою [існування] порожньої множини називається наступне висловлювання теорії множин Аксіома порожньої множини проголошує існування принаймні однієї порожньої множини, тобто множини, яка не містить ні одного елемента. Порожня множина є своєю підмножиною, але не є своїм елементом.
rdf:langString Tomma mängdens axiom är ett av de mängdteoretiska axiomen. Det är till exempel ett av axiomen i ZFC, d.v.s. Zermelo-Fraenkels mängdteori med urvalsaxiomet som är det dominerande sättet att axiomatisera mängdteori. Uttryckt med predikatlogikens formella språk lyder axiomet: Med ord kan axiomet uttryckas: Det finns en mängd A sådan att för varje mängd B gäller att B inte är ett element i A. Det följer av extensionalitetsaxiomet att denna mängd A är unik och man kallar den för den tomma mängden. Axiomet betyder alltså helt enkelt Den tomma mängden existerar.
rdf:langString 在集合论中,空集公理是 Zermelo-Fraenkel 集合论的公理之一。
xsd:nonNegativeInteger 4263

data from the linked data cloud