Gödelin epätäydellisyyslause

Etymology
After.

Noun

 * 1)  Gödel's incompleteness theorem