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. 指已提到的人(物),指說話人與聽者已知的人(物),用于獨一無二的事物前,與形容詞最高級和序數詞連用;