proof theory (metalogic, metamathematics) The branch of logic that studies proofs and the deducibility and independence of results within formal systems. The roots of proof theory may be seen as beginning with Hilbert's programme.
proof theory
数学辞典收录了4151条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。