Translation for "aksioomi" to english

Aksioomi

• axiom

Translation examples

axiom

Tästä aksioomasta voitiin dedusoida kaikki tietoisuuden tieto.
From this axiom, all knowledge of consciousness could be deduced.

Jokainen geometria voidaan johtaa asianmukaisesta joukosta aksioomeja.
Any given geometry may be deduced from an appropriate set of axioms.

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.

Näihin voidaan lisätä muita aksioomia, jotka rajoittavat koordinaattirenkaan ulottuvuutta.
One can add further axioms restricting the dimension or the coordinate ring.

Teoria perustuu Gödel-numerointiin ja hänen itsensä kehittämiin Blum-aksioomiin.
The theory is based on Gödel numberings and the Blum axioms.

Matemaattiset lauseet voidaan johtaa logiikan aksioomista puhtaalla loogisella deduktiolla.
The theorems of mathematics can be derived from logical axioms through purely logical deduction.

Tämän todistamiseksi Reinhold määritti aksiooman, jota ei voitaisi epäillä.
In order to establish his proof, Reinhold stated an axiom that could not possibly be doubted.

Osittain järjestetty joukko (L, ≤) on hila, jos se toteuttaa kaksi seuraavaa aksioomaa.
A poset (L, ≤) is a lattice if it satisfies the following two axioms.