| Information | |
|---|---|
| lexicalization | eng: Axiomatic set theory |
| instance of | (noun) (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident axiom |
| Meaning | |
|---|---|
| Welsh | |
| has gloss | cym: Mewn mathemateg, disgrifiad trylwyr o ddamcaniaeth setiau yw damcaniaeth setiau wirebol. Fei grëwyd er mwyn mynd ir afael ar croesddywediadau megis croesddywediad Russel a chroesddywediad Burali-Forti, a oedd yn ran annatod o ddamcaniaeth setiau fel yi datblygwyd gan Frege ac eraill. Mae sawl system wirebol posib i ddamcaniaeth setiau, ond system Zermelo-Fraenkel gyda Gwireb Ddewis yw'r fwyaf poblogaidd o lawer ymysg mathemategwyr. |
| lexicalization | cym: Damcaniaeth setiau wirebol |
| German | |
| has gloss | deu: Als axiomatische Mengenlehre gilt jede Axiomatisierung der Mengenlehre, die die bekannten Antinomien der naiven Mengenlehre vermeidet. Die verbreitetste Axiomatisierung in der modernen Mathematik ist die Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC). |
| lexicalization | deu: Axiomatische Mengenlehre |
| Persian | |
| has gloss | fas: نظریه اصل موضوعی مجموعهها در حقیقت تلاشی برای صوری کردن نظریه مجموعهها بهوسیله قرار دادن اصول موضوع بجای دیدگاههای شهودی برای مجموعهها است. این نظریه نقطه مقابل نظریه طبیعی مجموعهها یا همان نظریه شهودی مجموعهها است که در آن مجموعهها به صورت شهودی و غیر صوری مورد بررسی قرار میگرفتند. |
| lexicalization | fas: نظریه اصل موضوعی مجموعهها |
| Finnish | |
| has gloss | fin: Aksiomaattinen joukko-oppi on toinen niistä osista, joihin joukko-oppi tavallisesti jaetaan. Toinen osista on naiivi joukko-oppi. Joukko-opin kehitti 1800-luvun lopulla saksalaisen matemaatikko Georg Cantor matematiikan haaraksi. Se on nykyisen matematiikan perustava osa. |
| lexicalization | fin: Aksiomaattinen joukko-oppi |
| French | |
| lexicalization | fra: Theorie axiomatique des ensembles |
| lexicalization | fra: Théorie axiomatique des ensembles |
| Hebrew | |
| has gloss | heb: אף על פי שתורת הקבוצות הנאיבית עדיין רווחת במתמטיקה, תורת הקבוצות האקסיומטית היא למעשה התורה שאליה מתכוונים מתמטיקאים בהתייחסם לתורת הקבוצות. ביחד עם לוגיקה וענפים אחרים במתמטיקה, תורת הקבוצות האקסיומטית מהווה חלק עיקרי ביסודות המתמטיקה. כמעט כל התורות המתמטיות כיום יכולות להיבנות כמשפטים מתוך תורת הקבוצות האקסיומטית. |
| lexicalization | heb: תורת הקבוצות האקסיומטית |
| Hungarian | |
| has gloss | hun: Az axiomatikus halmazelmélet a matematika halmazelmélet nevű résztudományának axiomatikus-deduktív módon történő kifejtése. Megkülönböztetjük korai elődjétől az „intuitív” vagy naiv halmazelmélettől, mely Cantor nevéhez fűződik és mely a keletkezésének idején még nem ismert logikai problémák fellépése miatt ellentmondásosnak bizonyult. |
| lexicalization | hun: axiomatikus halmazelmélet |
| Italian | |
| has gloss | ita: La teoria degli insiemi è una branca della matematica creata principalmente dal matematico tedesco Georg Cantor alla fine del XIX secolo. Inizialmente controversa, la teoria degli insiemi è arrivata ad avere il ruolo di teoria fondamentale nella matematica moderna, nel senso di una teoria invocata per giustificare le assunzioni fatte riguardo all'esistenza degli oggetti matematici (come i numeri o le funzioni) e delle loro proprietà. Le formulazioni formali della teoria degli insiemi hanno giocato anche un ruolo fondamentale nello specificare un ideale teorico di rigore matematico nelle dimostrazioni. Mentre i concetti basilari della teoria degli insiemi sono usati ovunque in matematica, la teoria in sé è seguita come tema specialistico da un numero relativamente piccolo di matematici e logici. Si deve ricordare inoltre che ci sono matematici che usano e promuovono diversi approcci ai fondamenti della matematica. |
| lexicalization | ita: Teoria assiomatica degli insiemi |
| Japanese | |
| has gloss | jpn: 公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。素朴集合論と呼ばれる公理化されていない集合論に比べてはっきりとした基盤を持ち、そのためにより深い議論が展開することができ、現在では集合論の本流となっている。 |
| lexicalization | jpn: 公理的集合論 |
| Dutch | |
| has gloss | nld: Als een axiomatische verzamelingenleer geldt elke axiomatisering van de verzamelingenleer, die de bekende antinomieën van de naïeve verzamelingenleer vermijdt. De meest wijdverbreide axiomatisering in de moderne wiskunde is de Zermelo-Fraenkel verzamelingenleer, al of niet met keuzeaxioma, respectievelijk "ZFC" en "ZF" (De "C" staat hier voor "choice", het Engelse woord voor keuze). |
| lexicalization | nld: axiomatische verzamelingenleer |
| Russian | |
| has gloss | rus: К этой системе аксиом часто добавляют аксиому выбора, и называют системой Цермело — Френкеля с аксиомой выбора (ZFC). |
| lexicalization | rus: Аксиоматика теории множеств |
| Serbian | |
| has gloss | srp: У математици, аксиоматска теорија скупова је ригорозна реформулација теорије скупова у логици првог реда настала да реши парадоксе наивне теорије скупова. Основу теорије скупова је у највећој мери развио немачки математичар Георг Кантор крајем 19. века. |
| lexicalization | srp: Аксиоматска теорија скупова |
| Swedish | |
| has gloss | swe: De mängdteoretiska axiomen är byggstenarna i de flesta mängdteorier och antas vara sanna. Till en början användes den naiva mängdteorin (även kallad mängdlära) som Cantor hade strukturerat, där mängder kunde skapas så länge de var "väldefinierade". Detta visade sig snart leda till paradoxer. *De mest kända är: **Russells paradox som är den vanligaste och visade att "mängden av alla mängder som inte innehåller sig själva" inte finns. Paradoxen brukar gestaltas som; "En barberare i en by rakar alla män som inte rakar sig själva. Rakar barberaren sig själv?" **Cantors paradox som visade att "mängden av alla mängder" inte finns. |
| lexicalization | swe: mängdteoretiska axiom |
| Ukrainian | |
| lexicalization | ukr: Аксіоматика теорії множин |
| Chinese | |
| has gloss | zho: 公理化集合論是數學的一門分支。在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。 |
| lexicalization | zho: 公理化集合论 |
Lexvo © 2008-2026 Gerard de Melo. Contact Legal Information / Imprint