Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.
元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.
相关词汇
isvt.& vi. 是（be的三单形式；n. 存在；
subjectn. 主题，话题，学科，科目，[哲]主观；adj. 须服从…的，（在君主等）统治下的；v. 提供，提出，使…隶属；
onprep. （表示方向）向，（表示对象）对，（表示位置）在…上，（表示时间）在…之时；adv. （放，穿，连接）上，向前，（继续）下去；adj. 活动着的情况，状态，使用着的，发生着的，计划中的；
logicn. 逻辑，逻辑学，（做某事的）道理，推理方法，威力，压力，强制（力）；adj. 逻辑的；
whichpron. 哪一个，哪一些，哪个，那，指前面提到的事物；adj. 哪一个，哪一些；
theart. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；