以上来源于: WordNet
N the view that only those entities may be admitted to mathematics that can be constructed in a finite number of steps, and only those propositions entertained whose truth can be proved in a finite number of steps 有极限论 [philosophy] → compare intuitionism
应用推荐