axiomatic system of natural deduction的意思|示意
美 / /
英 / /
自然演绎的公理系统