The step by which a new axiom is added cannot itself be mechanized.

　
英 　 　 美 　 　
  • 一個(gè)新公理得以產(chǎn)生，但產(chǎn)生公理的這個(gè)步驟自身卻非機械的。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan