Gödelova věta - Horák, Pavel, 1942-2023 (1964)