| dbo:abstract
|
- Una classe, en teoria de conjunts i matemàtiques, és una col·lecció de conjunts o altres objectes matemàtics que poden ser definits sense ambigüitats per una propietat que comparteixen tots els seus membres. Fora de la teoria de conjunts, la paraula "classe" s'utilitza de vegades com a sinònim de "conjunt". Aquest ús ve dels períodes històrics en què les classes i els conjunts no es distingien com ara ho fa la terminologia teòrica de conjunts moderna. Així, la definició precisa de "classe" depèn del context fundacional: A la teoria de Zermelo-Fraenkel, la noció de classe no està formalitzada, mentre que altres teories de conjunts, com la teoria de conjunts de Von Neumann-Bernays-Gödel, axiomatitza la noció de "classe". Cada conjunt és una classe, no importa quina fundació es triï. Una classe que no és un conjunt (informalment en Zermelo-Fraenkel) s'anomena una classe pròpia, i una classe que és un conjunt de vegades s'anomena una classe petita. Per exemple, la classe tots els nombres ordinals, així com la classe de tots els conjunts, són classe pròpies en molts sistemes formals. (ca)
- Třída (někdy také přesněji množinová třída) je matematický pojem z oboru teorie množin používaný pro označení souboru objektů, u kterých lze případ od případu určit, zda do dané třídy náleží nebo nenáleží – soubor tedy musí být dobře popsán z hlediska náležení. (cs)
- Als Klasse gilt in der Mathematik, Klassenlogik und Mengenlehre eine Zusammenfassung beliebiger Objekte, definiert durch eine logische Eigenschaft, die alle Objekte der Klasse erfüllen. Vom Klassenbegriff ist der Mengenbegriff zu unterscheiden. Nicht alle Klassen sind automatisch auch Mengen, weil Mengen zusätzliche Bedingungen erfüllen müssen. Mengen sind aber stets Klassen und werden daher auch in der Praxis in Klassenschreibweise notiert. (de)
- In set theory and its applications throughout mathematics, a class is a collection of sets (or sometimes other mathematical objects) that can be unambiguously defined by a property that all its members share. Classes act as a way to have set-like collections while differing from sets so as to avoid Russell's paradox (see ). The precise definition of "class" depends on foundational context. 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. A class that is not a set (informally in Zermelo–Fraenkel) is called a proper class, and a class that is a set is sometimes called a small class. For instance, the class of all ordinal numbers, and the class of all sets, are proper classes in many formal systems. In Quine's set-theoretical writing, the phrase "ultimate class" is often used instead of the phrase "proper class" emphasising that in the systems he considers, certain classes cannot be members, and are thus the final term in any membership chain to which they belong. Outside set theory, the word "class" is sometimes used synonymously with "set". This usage dates from a historical period where classes and sets were not distinguished as they are in modern set-theoretic terminology. Many discussions of "classes" in the 19th century and earlier are really referring to sets, or rather perhaps take place without considering that certain classes can fail to be sets. (en)
- En teoría de conjuntos, lógica de clases y sus aplicaciones en matemáticas, una clase es una familia de conjuntos o colección de conjuntos (u otros objetos matemáticos) que no necesariamente es un conjunto. El concepto de clase aparece al intentar «agrupar» todos los conjuntos (u objetos) que comparten una cierta propiedad. En la teoría de conjuntos de Zermelo-Fraenkel (ZF) se denomina de manera informal «clase» a toda propiedad expresada por una fórmula de su lenguaje, aun cuando pueda demostrarse que no existe un conjunto que contenga todos los objetos con esa propiedad, en cuyo caso se denomina una clase propia. El uso de las clases es entonces a través de notación. Sin embargo existen otras teorías, como la teoría de conjuntos de Von Neumann-Bernays-Gödel (NBG), en las que las clases son objetos de pleno derecho y puede establecerse una distinción entre ambos tipos de «colecciones de objetos». Ejemplos de clases propias son la clase universal, la clase R de la paradoja de Russell o la clase de todos los ordinales. (es)
- En mathématiques, la notion de classe généralise celle d'ensemble. Les deux termes sont parfois employés comme synonymes, mais la théorie des ensembles distingue ces deux notions. Un ensemble peut être vu comme une collection d'objets, mais aussi comme un objet mathématique, qui en particulier peut lui-même appartenir à un autre ensemble. Ce n'est pas forcément le cas d'une classe, qui est une collection d'objets que l'on peut définir, dont on peut donc parler, mais qui ne forme pas nécessairement un ensemble. Quand une classe n'est pas un ensemble, elle est appelée classe propre. Elle ne peut alors pas être élément d'une classe (ni, a fortiori, d'un ensemble). Les paradoxes de la théorie des ensembles, comme le paradoxe de Russell, montrent la nécessité d'une telle distinction. Ainsi la propriété « ne pas appartenir à soi-même » (x ∉ x) définit une classe mais pas un ensemble. L'existence d'un tel ensemble mènerait à une contradiction. À l'aube du XXe siècle, certains logiciens et mathématiciens comme Ernst Schröder, Giuseppe Peano ou Bertrand Russell emploient le terme « classe » la plupart du temps pour ce qui est appelé aujourd'hui « ensemble ». Cet usage perdure dans certains cas particuliers. Ainsi pour la notion usuelle de relation (dont le graphe est un ensemble de couples), une classe d'équivalence est un ensemble. Si on élargit aux classes propres, on ne peut plus parler d'ensemble quotient. Parfois les deux termes sont employés pour améliorer la clarté d'expression : dans certains contextes, on peut préférer parler de classe d'ensembles plutôt que d’ensemble d'ensembles sans y attacher un sens particulier. (fr)
- 집합론에서 모임 또는 클래스(영어: class)는 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이다. 모임은 지나치게 커서 집합이 아닐 수 있으며, 이렇게 집합이 아닌 모임을 고유 모임(固有모임, 영어: proper class)이라고 한다. (ko)
- 集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、ツェルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、フォン・ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。 （どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class) とも呼ばれる。例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。 集合論以外の文脈では「クラス」を「集合」の同義語として使うこともある。この用法はクラスと集合が現代的な集合論の用語法に基づく区別をされていなかった時代からある。19世紀以前の多くの"クラス"に関する議論は集合のことを指していた、もしくはもっと曖昧な概念をさしていた。この意味でのクラスは「級」という訳語を当てることがある（たとえば滑らかさのクラスの C1-級など）。 (ja)
- Klasa – wielość obiektów, która może być określona przez własność posiadaną przez wszystkie jej elementy. Pojęcie klasy jest uogólnieniem pojęcia zbioru. Wiele obiektów w matematyce jest „za dużych” aby badać je przy użyciu zbiorów i muszą być opisywane przy użyciu klas. W literaturze istnieje kilka sposobów formalizacji pojęcia klasy. (pl)
- In de verzamelingenleer en de toepassingen daarvan in de wiskunde is een klasse een collectie van verzamelingen (van soms andere wiskundige objecten) die eenduidig gedefinieerd kan worden door een eigenschap die alle leden van de collectie delen. De precieze definitie van "klasse" hangt af van de context. In werk over de Zermelo-Fraenkel-verzamelingenleer, is het begrip klasse informeel, terwijl in ander theorieën, zoals de Von Neumann-Bernays-Gödel-verzamelingenleer het begrip "klasse" door axioma's wordt onderbouwd. Elke verzameling kan als klasse opgevat worden, om het even in welke context. Een klasse die geen verzameling is, wordt (informeel) een echte klasse (Engels: proper class) genoemd. Alle ordinale getallen en de klasse van alle verzamelingen zijn bijvoorbeeld in veel formele systemen echte klassen. Verschillende belangrijke concepten in de wiskunde worden beschreven in termen van klassen. Voorbeelden zijn grote categorieën en de klasse van de surreële getallen. In de Zermelo-Fraenkel-verzamelingenleer (ZF) bestaan klassen alleen in de metataal, als equivalentieklassen van logische formules. De axioma's van ZF zijn niet van toepassing op klassen. Als wij echter een κ aannemen, vormen de verzamelingen van kleinere rang een model van ZF (een ). Haar deelverzamelingen kunnen worden gezien als "klassen". De Von Neumann-Bernays-Gödel axioma's staan een andere benadering voor; in deze theorie zijn de basisobjecten de klassen en wordt een verzameling gedefinieerd als een klasse die een element is van een andere klasse. In andere, minder gangbare verzamelingentheorieën, zoals de New Foundations of de theorie van de , is het concept van een "echte klasse" nog steeds zinvol (niet alle klassen zijn verzamelingen), maar is het criterium van "verzamelingheid" niet gesloten onder deelverzamelingen. Een verzamelingenleer met een universele verzameling heeft bijvoorbeeld "echte klassen", die deelklassen van verzamelingen zijn. De noodzaak om het begrip klasse in te voeren komt voort uit de wens om logische tegenspraak te vermijden (zie paradox van Russell). Zoals hierboven gesteld is een klasse een collectie - hier een ander woord voor verzameling - van verzamelingen. Als het begrip verzameling toegepast zou worden in plaats van het nieuwe begrip klasse, zou bijvoorbeeld de verzameling van alle verzamelingen zichzelf kunnen bevatten, wat tot logische tegenspraken kan leiden. Om dat te vermijden is het begrip 'klasse' in de verzamelingenleer ingevoerd. (nl)
- Em teoria dos conjuntos, uma classe (também chamada coleção ou família) é uma coleção (não necessariamente um conjunto, por exemplo a classe de todos os conjuntos) constituída de outros conjuntos (ou outros objetos matemáticos) de um espaço dado. Isto é, uma classe é um conjunto cujos elementos são outros conjuntos. Exemplo Seja um espaço amostral e uma classe de subconjuntos de . Se satisfaz as propriedades P1. P2. Se , então P3. Se , então Então diremos que é uma álgebra de subconjuntos de . (pt)
- Nella moderna teoria degli insiemi, per classe si intende una generica collezione di oggetti che possono essere univocamente identificati (per esempio, tramite una proprietà che li accomuni). Tutti gli insiemi sono classi, ma non è vero il contrario. Una classe che non sia un insieme si dice classe propria. La distinzione tra classe e insieme è necessaria per evitare i paradossi che emergono dalla teoria ingenua degli insiemi, come il paradosso di Russell. Una classe propria non può appartenere a un altro insieme o classe e non è soggetta agli assiomi di Zermelo-Fraenkel, che di fatto definiscono una teoria in cui questi oggetti non sono contemplati. Un'assiomatizzazione della teoria degli insiemi che comprenda le classi proprie è data dagli assiomi di Von Neumann-Bernays-Gödel, dove le classi sono gli oggetti fondamentali e gli insiemi vengono definiti come quelle classi che sono elementi di qualche altra classe. Diversi oggetti che ricorrono in matematica sono troppo "grandi" per essere insiemi; una teoria che comprenda le classi proprie è quindi necessaria in branche quali la teoria delle categorie o l'analisi non-standard. La parola "classe" è talvolta usata come sinonimo di "insieme", soprattutto nel termine "classe di equivalenza". Questo uso risale a un periodo storico in cui classi e insiemi non erano distinti come nella terminologia moderna. Molte discussioni sulle "classi" del XIX secolo in realtà erano riferite a quelli che con terminologia successiva saranno definiti insiemi. (it)
- Класс — термин, употребляемый в теории множеств для обозначения произвольных совокупностей множеств, обладающих каким-либо определённым свойством или признаком. Более строгое определение класса зависит от выбора исходной системы аксиом. В системе аксиом Цермело — Френкеля определение класса является неформальным, тогда как другие системы, например, система аксиом фон Неймана — Бернайса — Гёделя, аксиоматизируют определение «собственного класса» как некоторого семейства, которое не может быть элементом других семейств. Класс, не являющийся множеством (при неформальном определении в ZFC), называется собственным классом. В частности, класс всех множеств и класс ординалов являются собственными классами. Вне теории множеств, слово «класс» иногда является синонимом слова «множество» (например, класс эквивалентности). Большинство упоминаний слова «класс» в литературе XIX века и раньше относится в действительности к множествам. (ru)
- Inom mängdlära och dess tillämpningar inom matematiken, är en klass en samling av uppsättningar (eller ibland andra matematiska objekt) som entydigt kan definieras av en egenskap som alla dess medlemmar delar. Den exakta definitionen av "klass" beror på grundläggande sammanhang. Inom Zermelo-Fraenkels mängdteori, är begreppet klass informellt, medan andra teorier, såsom , axiomerar begreppet "äkta klass", exempelvis som enheter som inte är medlemmar i en annan enhet. Alla mängder är klasser men alla klasser är inte mängder. En klass är en mängd precis om den är ett element i någon klass. Klasser som inte är mängder kallas äkta klasser. Exempelvis är klassen av alla mängder en äkta klass, liksom klassen av alla kardinaltal. Man kan använda en klassterminologi som är analog med den för mängder, det vill säga man kan tala om delklasser och unioner av klasser etcetera, med den avgörande skillnaden att en äkta klass inte kan vara element i någon mängd eller i någon annan klass. Utanför mängdläran, används ordet "klass" ibland som synonymt med "mängd". Detta från en historisk period när klasser och uppsättningar inte särskiljdes som inom modern teoretisk terminologi. I många diskussioner om "klasser" under 1800-talet och tidigare är de egentligen hänvisningar till mängder, eller kanske till mer tvetydiga koncept. (sv)
- 在集合論及其數學應用中，類是集合（或其他數學物件）的搜集（英語：collection），可以依所有成員所共享的性質被無歧定義。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有序數所構成的類或所有集合所構成的類）。一個不是集合的類被稱之為真類。一个是集合的类被称为“小类”。 在數學裡，有許多物件對集合而言太大，而必須以類來描述，像是大的範疇和超實數的類體之類等。要證明一給定「事物」為一真類，一般的做法是證明此一「事物」至少有著如序數一般多的元素。有關此一證明的例子，請參見。 真類不能是一個集合或者是一個類的元素，而且不受ZF集合論中的公理所限制；因此避免掉了許多樸素集合論中的悖論。反而，這些悖論成了證明某一個類是否為真類的方法之一。例如，羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類，而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。 標準的ZF集合論公理不會論及到類；而在元語言中，類只作為邏輯公式的等價類而存在。馮諾伊曼-博內斯-哥德爾集合論則採取了另一種方式；類在此一理論中是基礎的物件，而集合則被定義為可以是其他某些類的元素的類。真類，則為不可以是其他任何類的元素的類。 在其他集合論如新基础集合论或半集合的理論中，「真類」的概念依然是有意義的（不是任一堆事物都會是集合），但對集合特質的認定並非依據其大小。例如，所有包含全集的集合論都會有個是集合的子類的真類。 「類」這一詞有時會和「集合」同義，最為人知的是「等價類」這一術語。這種用法是因為從前對類和集合不如現今一樣地區別的緣故。許多19世紀之前對「類」的討論提及的實際上是集合，又或者會是個更為模糊的概念。 (zh)
- Клас — термін, що вживається в математиці в основному як синонім терміна «множина» для позначення довільних сукупностей об'єктів, що володіють певною властивістю або ознакою (наприклад, в алгебрі — класи еквівалентності). Іноді класами називають сукупності, елементами яких є множини. У деяких випадках під впливом аксіоматичної теорії множин термін «клас» застосовується для того, щоб підкреслити, що дана сукупність виявляється власне класом, а не множиною у вузькому сенсі (наприклад, в алгебрі — примітивні класи універсальних алгебр). Теоретико-множинні операції над класами визначаються так само, як і над множинами. (uk)
|
| rdfs:comment
|
- Třída (někdy také přesněji množinová třída) je matematický pojem z oboru teorie množin používaný pro označení souboru objektů, u kterých lze případ od případu určit, zda do dané třídy náleží nebo nenáleží – soubor tedy musí být dobře popsán z hlediska náležení. (cs)
- Als Klasse gilt in der Mathematik, Klassenlogik und Mengenlehre eine Zusammenfassung beliebiger Objekte, definiert durch eine logische Eigenschaft, die alle Objekte der Klasse erfüllen. Vom Klassenbegriff ist der Mengenbegriff zu unterscheiden. Nicht alle Klassen sind automatisch auch Mengen, weil Mengen zusätzliche Bedingungen erfüllen müssen. Mengen sind aber stets Klassen und werden daher auch in der Praxis in Klassenschreibweise notiert. (de)
- 집합론에서 모임 또는 클래스(영어: class)는 특정한 성질을 만족하는 집합(혹은 그 외의 수학적 대상)을 모은 것이다. 모임은 지나치게 커서 집합이 아닐 수 있으며, 이렇게 집합이 아닌 모임을 고유 모임(固有모임, 영어: proper class)이라고 한다. (ko)
- Klasa – wielość obiektów, która może być określona przez własność posiadaną przez wszystkie jej elementy. Pojęcie klasy jest uogólnieniem pojęcia zbioru. Wiele obiektów w matematyce jest „za dużych” aby badać je przy użyciu zbiorów i muszą być opisywane przy użyciu klas. W literaturze istnieje kilka sposobów formalizacji pojęcia klasy. (pl)
- Em teoria dos conjuntos, uma classe (também chamada coleção ou família) é uma coleção (não necessariamente um conjunto, por exemplo a classe de todos os conjuntos) constituída de outros conjuntos (ou outros objetos matemáticos) de um espaço dado. Isto é, uma classe é um conjunto cujos elementos são outros conjuntos. Exemplo Seja um espaço amostral e uma classe de subconjuntos de . Se satisfaz as propriedades P1. P2. Se , então P3. Se , então Então diremos que é uma álgebra de subconjuntos de . (pt)
- Клас — термін, що вживається в математиці в основному як синонім терміна «множина» для позначення довільних сукупностей об'єктів, що володіють певною властивістю або ознакою (наприклад, в алгебрі — класи еквівалентності). Іноді класами називають сукупності, елементами яких є множини. У деяких випадках під впливом аксіоматичної теорії множин термін «клас» застосовується для того, щоб підкреслити, що дана сукупність виявляється власне класом, а не множиною у вузькому сенсі (наприклад, в алгебрі — примітивні класи універсальних алгебр). Теоретико-множинні операції над класами визначаються так само, як і над множинами. (uk)
- Una classe, en teoria de conjunts i matemàtiques, és una col·lecció de conjunts o altres objectes matemàtics que poden ser definits sense ambigüitats per una propietat que comparteixen tots els seus membres. Cada conjunt és una classe, no importa quina fundació es triï. Una classe que no és un conjunt (informalment en Zermelo-Fraenkel) s'anomena una classe pròpia, i una classe que és un conjunt de vegades s'anomena una classe petita. Per exemple, la classe tots els nombres ordinals, així com la classe de tots els conjunts, són classe pròpies en molts sistemes formals. (ca)
- In set theory and its applications throughout mathematics, a class is a collection of sets (or sometimes other mathematical objects) that can be unambiguously defined by a property that all its members share. Classes act as a way to have set-like collections while differing from sets so as to avoid Russell's paradox (see ). The precise definition of "class" depends on foundational context. 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. (en)
- En teoría de conjuntos, lógica de clases y sus aplicaciones en matemáticas, una clase es una familia de conjuntos o colección de conjuntos (u otros objetos matemáticos) que no necesariamente es un conjunto. El concepto de clase aparece al intentar «agrupar» todos los conjuntos (u objetos) que comparten una cierta propiedad. Ejemplos de clases propias son la clase universal, la clase R de la paradoja de Russell o la clase de todos los ordinales. (es)
- En mathématiques, la notion de classe généralise celle d'ensemble. Les deux termes sont parfois employés comme synonymes, mais la théorie des ensembles distingue ces deux notions. Un ensemble peut être vu comme une collection d'objets, mais aussi comme un objet mathématique, qui en particulier peut lui-même appartenir à un autre ensemble. Ce n'est pas forcément le cas d'une classe, qui est une collection d'objets que l'on peut définir, dont on peut donc parler, mais qui ne forme pas nécessairement un ensemble. Quand une classe n'est pas un ensemble, elle est appelée classe propre. Elle ne peut alors pas être élément d'une classe (ni, a fortiori, d'un ensemble). (fr)
- Nella moderna teoria degli insiemi, per classe si intende una generica collezione di oggetti che possono essere univocamente identificati (per esempio, tramite una proprietà che li accomuni). Tutti gli insiemi sono classi, ma non è vero il contrario. Una classe che non sia un insieme si dice classe propria. La distinzione tra classe e insieme è necessaria per evitare i paradossi che emergono dalla teoria ingenua degli insiemi, come il paradosso di Russell. (it)
- 集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義されるものである。「クラス」の正確な定義は、議論の基礎となる文脈に依存する。例えば、ツェルメロ＝フレンケル集合論 (ZF) ではクラスは厳密には存在しないが、他の集合論（たとえば、フォン・ノイマン＝ベルナイス＝ゲーデル集合論 (NBG)）では、「クラス」の概念は公理化されている（NBG の例だと、別の量 (entity) の要素にならないような量としてクラスが定義される）。 （どのような定式化を選んだとしても）「全ての集合の集まり」はクラスである。（ZF では厳密な言い方ではないが）このクラスだが集合でないようなものは真のクラス (proper class) と呼ばれ、集合となるようなクラス（つまり集合）は小さいクラス (small class) とも呼ばれる。例えば、全ての順序数からなるクラスや全ての集合からなるクラスは、多くの形式体系において真のクラスである。 (ja)
- In de verzamelingenleer en de toepassingen daarvan in de wiskunde is een klasse een collectie van verzamelingen (van soms andere wiskundige objecten) die eenduidig gedefinieerd kan worden door een eigenschap die alle leden van de collectie delen. De precieze definitie van "klasse" hangt af van de context. In werk over de Zermelo-Fraenkel-verzamelingenleer, is het begrip klasse informeel, terwijl in ander theorieën, zoals de Von Neumann-Bernays-Gödel-verzamelingenleer het begrip "klasse" door axioma's wordt onderbouwd. (nl)
- Inom mängdlära och dess tillämpningar inom matematiken, är en klass en samling av uppsättningar (eller ibland andra matematiska objekt) som entydigt kan definieras av en egenskap som alla dess medlemmar delar. Den exakta definitionen av "klass" beror på grundläggande sammanhang. Inom Zermelo-Fraenkels mängdteori, är begreppet klass informellt, medan andra teorier, såsom , axiomerar begreppet "äkta klass", exempelvis som enheter som inte är medlemmar i en annan enhet. (sv)
- 在集合論及其數學應用中，類是集合（或其他數學物件）的搜集（英語：collection），可以依所有成員所共享的性質被無歧定義。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有序數所構成的類或所有集合所構成的類）。一個不是集合的類被稱之為真類。一个是集合的类被称为“小类”。 在數學裡，有許多物件對集合而言太大，而必須以類來描述，像是大的範疇和超實數的類體之類等。要證明一給定「事物」為一真類，一般的做法是證明此一「事物」至少有著如序數一般多的元素。有關此一證明的例子，請參見。 真類不能是一個集合或者是一個類的元素，而且不受ZF集合論中的公理所限制；因此避免掉了許多樸素集合論中的悖論。反而，這些悖論成了證明某一個類是否為真類的方法之一。例如，羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類，而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。 標準的ZF集合論公理不會論及到類；而在元語言中，類只作為邏輯公式的等價類而存在。馮諾伊曼-博內斯-哥德爾集合論則採取了另一種方式；類在此一理論中是基礎的物件，而集合則被定義為可以是其他某些類的元素的類。真類，則為不可以是其他任何類的元素的類。 (zh)
- Класс — термин, употребляемый в теории множеств для обозначения произвольных совокупностей множеств, обладающих каким-либо определённым свойством или признаком. Более строгое определение класса зависит от выбора исходной системы аксиом. В системе аксиом Цермело — Френкеля определение класса является неформальным, тогда как другие системы, например, система аксиом фон Неймана — Бернайса — Гёделя, аксиоматизируют определение «собственного класса» как некоторого семейства, которое не может быть элементом других семейств. (ru)
|
