#postulate__posit  (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
  supertype:  proposition  (logic) a statement that affirms or denies something and is either true or false
  subtype:  premise__premiss__premis  a statement that is assumed to be true and from which a conclusion can be drawn; "on the assumption that he has been injured we can infer that he will not to play"
     subtype:  major_premise__majorpremise__major_premiss__majorpremis  the premise of a syllogism that contains the major term (which is the predicate of the conclusion)
     subtype:  minor_premise__minorpremise__minor_premiss__minorpremis  the premise of a syllogism that contains the minor term (which is the subject of the conclusion)
     subtype:  thesis  an unproved statement put forward as a premise in an argument
     subtype:  condition.premise__precondition__stipulation  an assumption on which rests the validity or effect of something else
        subtype:  boundary_condition  (math) a condition specified for the solution to a set of differential equations
        subtype:  proviso__provision  a stipulated condition; "he accepted subject to one provision"

No statement uses or specializes postulate; click here to add one.