사전유의어사전스크래블문장퀴즈

axioms 퀴즈

EN
공리, 공리계
    각 질문에 대한 가장 적절한 대답을 선택합니다.
  • 문제 1 :
  • A conditional proof corresponds to the application of what Douglas Hofstadter calls the "Fantasy Rule" in his masterwork "GEB:EGB". Surprisingly, the theory of propositional calculus which he develops in GEB:EGB employs several inference rules but no ______: the need for any ______ is done away with through application of the Fantasy Rule.
    1. axioms
    2. axiom
  • 문제 2 :
  •      The system, which has come to be known as IZF, or Intuitionistic Zermelo–Fraenkel (ZF refers to ZFC without the _____ of choice), has the usual axioms of extensionality, pairing, union, infinity, separation and power set. The _____ of regularity is stated in the form of an _____ schema of set induction. Also, while Myhill used the _____ schema of replacement in his system, IZF usually stands for the version with collection.WP
    1. axioms
    2. axiom
이 퀴즈는 동적으로 생성된다. 더 퀴즈를 들어,이 페이지를 새로 고치십시오.
확실 함: 수평 1
12345678910
확실    ➨     다목적

Other Vocabulary

닮은 단어들 (Look-Alike Words)
  1. en axiom
  2. en axioma
  3. fr axiome
  4. en axions
  5. fr axions
 0 0
0.095