![](/assets/images/picto-drapeau-france-3a76576a5d60a512053b4612ab58dae5.png)
8. Metalogical theories
The two main theories of formal logic are :
the theory of demonstration (syntactic in nature) ;
model theory (semantic in nature).
8.1 Demonstration theory
Demonstration theory, also known as proof theory, is a branch of mathematical logic founded by the German mathematician D. Hilbert. Hilbert at the beginning of the 20th century, with the aim of demonstrating the coherence of mathematics. This objective was invalidated by the famous incompleteness theorem of the Austrian mathematician and logician K. Gödel (1931). Demonstration theory nevertheless developed, thanks in particular to the work of mathematicians and logicians J. Herbrand (1909-1945) and G. Gentzen (1908-1931)....
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference
This article is included in
Mathematics
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Metalogical theories
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
You do not have access to this resource.
Click here to request your free trial access!
Already subscribed? Log in!
![](/assets/images/logo-eti-286623ed91fa802ce039246e516e5852.png)
The Ultimate Scientific and Technical Reference