证明论

• proof theory

参考释义

证明论 [zhèng míng lùn]

• -
• 短语
  证明论序数 proof theoretic ordinal