Translation for "aksiomatisointi" to english

Aksiomatisointi

• axiomatization

Translation examples

axiomatization

Formalismin varhaisiin kannattajiin kuului David Hilbert, jonka ohjelman oli tarkoitus olla koko matematiikan täydellinen ja konsistentti aksiomatisointi (konsistenttiuden tarkoittaessa sitä, ettei järjestelmästä voida johtaa ristiriitoja).
A major early proponent of formalism was David Hilbert, whose program was intended to be a complete and consistent axiomatization of all of mathematics.