Sentence examples for axiom from high-quality English sources.

Use axiom in a sentence.

  • For each large cardinal axiom Φ that has been reached by inner model theory, one has an axiom of the form V = LΦ.

  • To illustrate, suppose we added a fourth axiom, one to the effect that necessity is here truth-implicating, called axiom T:

  • A question was posed sometime after: Is there a shorter such axiomatization for C4, using a 2-axiom basis or even a single axiom?

  • The story has it that Leśniewski discovered this axiom, his efforts fortified by eating bars of chocolate, while sitting on a bench in Warsaw's Saxon Garden.

  • At the start of the paper, Zermelo list two ‘postulates’ that he explicitly depends on, a version of the separation axiom, and the power set axiom.

  • The Axiom of Choice is defined at ∗88 as the “Multiplicative Axiom” and a version of the Axiom of Infinity appears at ∗120 in Volume II as “Infin ax”.

  • The consistency-strength of first-order Peano arithmetic is much weaker, namely that of Zermelo–Fraenkel set theory without the Axiom of Power Sets and without the Axiom of Infinity.

  • In addition to isolating an axiom that satisfies (1) of Theorem 5.1 (assuming Ω-satisfiability), he isolates a very special such axiom, namely, the axiom (∗) (“star”) mentioned earlier.

axiom sentence examples

  • Rathjen (2012b) shows that CZF augmented by the power set axiom exceeds the strength of classical Zermelo set theory, and thus the addition of the power set axiom to CZF brings us to a fully impredicative theory.

  • The Multiplicative Axiom, or “Axiom” of Choice, is not an axiom of PM, what is termed a “primitive proposition”, but is instead a defined expression that is added as an hypothesis to theorems for which it is used.

  • Applying automated reasoning strategies again, Ernst, Fitelson, Harris & Wos 2001) discovered several new bases, including the following 2-axiom basis of length 18 and six 1-axiom bases matching Meredith’s length of 21 (only one of these is given below):

  • Since the axiom of dependent choice is consistent with an important axiom in classical set theory (the axiom of determinacy) while the full axiom of choice is not, special attention is payed to this axiom and in general one tries to reduce the amount of choice in a proof, if choice is present at all, to dependent choice.


  • noun communication

    - a saying that is widely accepted on its own merits

  • noun communication

    - (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident

Report for:

Use axiom in a sentence

On this page, there are 20 sentence examples for axiom. They are all from high-quality sources and constantly processed by lengusa's machine learning routines.

    Sentence frequency composition for this page:
  • 18 sentence examples for axiom from Stanford Encyclopedia of Philosophy
  • 1 sentence examples for axiom from Encyclopedia Britannica
  • 1 sentence examples for axiom from Business Insider
    There are 1 relevant lexical connections:
  • • Relevant word or phrase for axiom is maxim

Grid-Flow technology

Just use the " " button to fragment sentence examples and start your learning flow.

Example output from one of your searches: