von K. Gödel 1931 bewiesenes Theorem, demzufolge die Konsistenz eines logischen Systems nicht innerhalb dieses Systems bewiesen werden kann; in jedem logischen System gibt es demnach mindestens eine unbeweisbare Aussage.
Das freie Technik-Lexikon. Fundierte Informationen zu allen Fachgebieten der Ingenieurwissenschaften, für Wissenschaftler, Studenten, Praktiker & alle Interessierten. Professionell dargeboten und kostenlos zugängig.
TechniklexikonModernes Studium der Physik sollte allen zugängig gemacht werden.