Translation for "fraenkel-" to english

Fraenkel-

• fraenkel

Translation examples

fraenkel

Paul Cohen osoitti vuonna 1963 että kontinuumihypoteesiä ei myöskään voida todistaa oikeaksi Zermelon–Fraenkelin joukko-opissa.
In 1963, Paul Cohen showed that the continuum hypothesis cannot be proven from the axioms of Zermelo–Fraenkel set theory (Cohen 1966).

Tämä kokoelma, joka on formalisoitu Zermelo-Fraenkel joukko-opissa (ZFC), on käytetty toimittaa tulkinta ZFC:n aksiomeista.
This collection, which is formalized by Zermelo–Fraenkel set theory (ZFC), is often used to provide an interpretation or motivation of the axioms of ZFC.

Nämä ominaisuudet yleensä edellyttävät, että kardinaaliluku on hyvin suuri, jolloin sellaisen kardinaaliluvun olemassaoloa ei voida todistaa Zermelo-Fraenkelin aksioomeilla.
These properties typically imply the cardinal number must be very large, with the existence of a cardinal with the specified property unprovable in Zermelo-Fraenkel set theory.

Zermelon työ vuodelta 1908 ja Abraham Fraenkelin työ vuodelta 1922 johtivat aksiooma­järjestelmään ZFC, josta tuli yleisimmin käytetty joukko-opin aksioomajärjestelmä.
The work of Zermelo in 1908 and the work of Abraham Fraenkel and Thoralf Skolem in 1922 resulted in the set of axioms ZFC, which became the most commonly used set of axioms for set theory.

Naiivin joukko-opin paradoksien löytymisen jälkeen laadittiin joukko-opille 1900-luvun alkupuolella useita aksioomajärjestelmiä, joista tunnetuimman muodostavat Zermelon–Fraenkelin aksioomat täydennettynä valinta-aksioomalla.
After the discovery of paradoxes in naive set theory, such as Russell's paradox, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo–Fraenkel axioms, with or without the axiom of choice, are the best-known.