Translation examples
Se pyrkii johtamaan kaikki matemaattiset totuudet joukosta hyvin määriteltyjä symbolisen logiikan aksioomia ja päättelysääntöjä.
It is an attempt to derive all mathematical truths from a well-defined set of axioms and inference rules in symbolic logic.