Úplnost a neúplnost - Gödel, Kurt, 1906-1978 (Proudy evropské vzdělanosti, 2015)