Metadata
Author: WikiMatrix
Data
English[en]
According to the theorem, within every sufficiently powerful recursive logical system (such as Principia), there exists a statement G that essentially reads, "The statement G cannot be proved."
Finnish[fi]
Lauseen mukaan jokaista riittävän vahvaa loogista järjestelmää (kuten Principiaa) kohtaan oli olemassa väite G, joka pohjimmiltaan sanoo "Väittämää G ei voida todistaa".