paragraph_text: Kurt Friedrich Gödel ( Brno, 28. travnja 1906. – Princeton, 14. siječnja 1978.) je bio austrijsko-američki matematičar i logičar, koji je 1931. godine dokazao kompletnost prvog reda infinitezimalnog računa funkcija. Zatim je uslijedio njegov rad Über formal unentscheidbare Sätze der 'Principia Mathematica' und verwandter Systeme (O formalnoj neodređenosti postavki u "Principima matematike" i odnosnim sistemima), u kojem je dokazao prvu od svoje dvije poznate teoreme nekompletnosti. Ovaj rad, koji datira od 17. studenog 1930. godine, izvorno je objavljen na njemačkom jeziku 1931. godine u časopisu "Monatshefte für Mathematik".