epätäydellisyyslause
Tieteen termipankista
Luo tämän nimityksen perusteella käsite uudelle aihealueelle:
epätäydellisyysteoreema (Filosofia)
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
Kieliopillinen koodaus (suomi)
| Sanaluokka | substantiivi |
| Sanamuoto | yhdyssana |
| Perussanatyyppi | |
| Johdostyyppi | |
| Yhdysosamuoto | |
| Suku | |
| Alkuperä |
Alaviite
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Nimitys:epätäydellisyyslause.
(Tarkka osoite: https://www.tieteentermipankki.fi/wiki/Nimitys:epätäydellisyyslause.)