Kurt Godel (1906-1978). tr 2010, 4 (2).