The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement.

 
  • 實(shí)數集的上確界公理用到了實(shí)數集的子集,這是一種二階邏輯的陳述。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan