proof-theoretical

英 [p'ruːfθiəret'ɪkl] 美 [p'ruːfθiəret'ɪkl]

• 证明论的