Proof Theory
المؤلف:
Birkhoff, G. and Mac Lane, S.
المصدر:
A Survey of Modern Algebra, 5th ed. New York: Macmillan
الجزء والصفحة:
...
8-2-2022
1222
Proof Theory
Proof theory, also called metamathematics, is the study of mathematics and mathematical reasoning (Hofstadter 1989) in a general and abstract sense itself. Instead of studying the objects of a particular mathematical theory, it examines the mathematical theories as such, especially with respect to their logical structure. It concentrates mainly on the way in which theorems are derived from axioms.
REFERENCES
