Aksiomo

Aksiomo estas principo (baza aserto), kiu estas akceptata sen pruvo en scienca teorio aŭ deduktiva sistemo. La vorto aksiomo devenas de greka αξιωμα [aksioma]...

apartigaj aksiomoj por ĉiu aksiomigo de topologia spaco kaj tiam paroli pri specoj de topologiaj spacoj. Tamen, la termino "apartiga aksiomo" enradikiĝis...

En matematiko, la aksiomo de elekto, aŭ AC, estas aksiomo de aroteorio. Neformale, la aksiomo de elekto eldiras, ke por ĉiu donita kolekto de ujoj, ĉiu...

la aksiomo de Cantor-Dedekind asertas, ke la reelaj nombroj estas ordo-izomorfiaj al la lineara kontinuaĵo en geometrio. En aliaj vortoj la aksiomo asertas...

aksiomo de kalkulebleco estas propraĵo de certaj matematikaj objektoj kiu postulas ekziston de kalkulebla aro kun certaj propraĵoj; sen la aksiomo ĉi...

En aroteorio, la aksiomo de malplena aro estas aksiomo de aroteorio de Zermelo-Fraenkel (ZF), la fragmento de ĝenerala aroteorio, kaj de aroteorio de...

En la aksioma aroteorio kaj la branĉoj de logiko, matematiko kaj komputoscienco kiuj ĝin uzas, la aksiomo de senfineco estas unu el la aksiomoj de la...

"tradukoj" al natura lingvo: Aksiomo de etendo: Du aroj estas samaj se kaj nur se ili havas la samajn membrojn. Aksiomo de malplena aro: Ekzistas aro...

(ekvivalentaj) aksiomoj de kompleteco : Aksiomo de Weierstrass : Ĉiu nemalplena limigita desupre nombra aro havas solan supran limon. Aksiomo de Dedekind...

ĝi estas konata ankaŭ kiel la teoremo de Eŭdokso aŭ la aksiomo de Eŭdokso. La arĥimeda aksiomo aperas en libro V de Elementoj de Eŭklido kiel difino 4...

jaroj: racio + aksiomoj + sento → scio kaj en la 13-a jarcento, Tomaso de Akvino diris: racio + aksiomoj + sento + fido → scio kie aksiomo estas antaŭsupozita...

ekzisto estas certigita per la aksiomo de senfineco) estas nefinia. Ĝi estas la nura aro kiu estas rekte postulita per la aksiomoj al esti nefinia. La ekzisto...

aro. En aksioma aroteorio, la ekzisto de duelementaj aroj estas konsekvenco de la aksiomo de malplena aro kaj la aksiomo de parigo. De la aksiomo de malplena...

tranĉiĝas je ĉi tiu flanko. Por geometrio en surfaco la kvina aksiomo a.n. aksiomo de Eŭklido aŭ aksiomo de paraleleco povas esprimi ankaŭ tiel: „Tra punkto povas...

sed ne havas plej grandan elementon. La kvina el la supraj aksiomoj estas nomata aksiomo de indukto, kaj povas esti vortigita ankaŭ jene: "Ĉiu subaro...

bonordigitaj, do la aksiomo de elekto estas ne bezonata por bonordigi ilin. Jena konstruado de la aro de Vitali montras ke la aksiomo de elekto povas esti...

y∈V{\displaystyle y\in V} kaj U∩V=∅{\displaystyle U\cap V=\varnothing }. La apartiga aksiomo de Hausdorff estas la kondiĉo, ke ĉiu paro de malsamaj punktoj estu apartigebla...

Gödel pri nekompleteco nekontraŭdireco de la elekta aksiomo kaj la kontinuumo-hipotezo al ceteraj aksiomoj de la aro-teorio 3366 Gödel Komputa logiko Kurt...

la aksiomo de elekto, se ĉi tiu aksiomo ne estas studata aparte, plejparto de esploristoj kutime ne zorgas ĉu rezulto postulas la aksiomon. Aksiomo Teoremo...

kontinuumo-hipotezo estas ekvivalenta al aksiomo de simetrio de Freiling, aserto pri probabloj. Freiling kredas ke ĉi tiu aksiomo estas "intuicie vera" sed la aliaj...