کورت گودل (1906 – 1978) همچنین شناخته شده با: Godel گودل برابر انگلیک (انگلیسی): Godel Gödel Kurt Godel Kurt Gödel انبازیها: گسترشها Die Vollständigkeit der Axiome des logischen Funktionenkalküls The completeness of the axioms of the logical function calculus 1930 داتار کورت گودل Über die Vollständigkeit des Logikkalküls On the completeness of the calculus of logic 1929 داتار کورت گودل An Interpretation of the Intuitionistic Propositional Calculus آزندی بر افماریک گزارهای درونیافتگروی 1933 داتار کورت گودل