epätäydellisyyslause
Kieliopillinen koodaus (suomi)
Sanaluokka | substantiivi |
Sanamuoto | yhdyssana |
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 | yhdyssana |
Perussanatyyppi | |
Johdostyyppi | |
Yhdysosamuoto | |
Suku | |
Alkuperä |
Lähdeviittaus tähän sivuun:
Tieteen termipankki 3.05.2024: Nimitys:epätäydellisyyslause.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:epätäydellisyyslause.)