Übersetzung für 'aksiomo' von Esperanto nach Deutsch

aksiomo

Axiom {n}filoz.fiz.mate.

• Tamen, ĉi tiuj kondiĉoj povas ĉiuj esti ne ekvivalentaj inter si se la aksiomo de elekto mankas.
• En klasaj teorioj kiel aroteorio de Von Neumann-Bernays-Gödel kaj aroteorio de Morse-Kelley, estas ebla aksiomo nomata kiel la aksiomo de malloka elekto kiu estas pli forta ol la aksiomo de elekto por aroj ĉar ĝi aplikas ankaŭ al propraj klasoj.
• La bon-orda teoremo estas ekvivalenta al la aksiomo de elekto, en la senco ke ĉiu el ili kune kun la aksiomoj de Zermelo-Fraenkel estas sufiĉa por pruvi la alian, en unua-nivela logiko.
• Se la aksiomo de elekto veras, aŭ eĉ se aksiomo de kalkulebla elekto (pli malforta versio de la aksiomo de elekto) veras, do [...] estas pli malgranda ol ĉiu la alia malfinia kardinalo.
• En aksioma aroteorio, la ekzisto de unuopoj estas konsekvenco de la aksiomo de malplena aro kaj la aksiomo de parigo: la unua donas la malplenan aron [...] , kaj la lasta, aplikita al la parigo de [...] kaj [...] , donas la unuopon [...].