epätäydellisyysteoreema
Kieliopillinen koodaus (suomi)
Sanaluokka | substantiivi |
Sanamuoto | |
Perussanatyyppi | |
Johdostyyppi | |
Yhdysosamuoto | |
Suku | |
Alkuperä |
metateoreema, jonka mukaan jokaiselle aritmetiikan sisältävää formaalikielellä esitettyä aksiomaattista teoriaa kohtaan löytyy ainakin yksi tosi lause, jota ei voi todistaa teorian teoreemaksi
Sanaluokka | substantiivi |
Sanamuoto | |
Perussanatyyppi | |
Johdostyyppi | |
Yhdysosamuoto | |
Suku | |
Alkuperä |
Lähdeviittaus tähän sivuun:
Tieteen termipankki 26.04.2024: Nimitys:epätäydellisyysteoreema.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:epätäydellisyysteoreema.)