Traduction de "equivalent to it" à finlandais

Equivalent to it

• vastaa sitä
• sitä vastaava

Exemples de traduction

vastaa sitä

Despite the negative nature of the incompleteness theorems, Gödel's completeness theorem, a result in model theory and another application of mathematics to logic, can be understood as showing how close logicism came to being true: every rigorously defined mathematical theory can be exactly captured by a first-order logical theory; Frege's proof calculus is enough to describe the whole of mathematics, though not equivalent to it.
Vaikka epätäydellisyysteoreema oli luonteeltaan negatiivinen, Gödelin täydellisyyslause oli malliteorian tulos ja osoittaa, kuinka lähellä logisismi oli osoittautua todeksi: jokainen täsmällisesti määritelty matemaattinen teoria voidaan esittää ensimmäisen kertaluvun logiikan teorialla; Fregen todistuskalkyyli pystyi kuvaamaan koko matematiikan, vaikka ei vastaakaan sitä.