Viewing topic: Independent

See sub-topics for Independent ... >> Mathematics >> General Math Terminology >> Independent

Highest Rated Sign

Video id: #2564 (enlarge)
Post date: 8/14/2012
Posted by: rachel
  • Currently 0.0/5 Stars.
  0 ratings
See all signs (1)


  • Definition: 1. Describing an axiom of a formal (logical) system that is not a formal consequence of any other axioms. 2. Describing a rule of inference of a formal system that cannot be derived from the axioms and the remaining rules of inference. If an axiom or a rule of inference fails to be independent then the formal system may still be acceptable, even though it may not be economical.

    Source: "independent." The Penguin Dictionary of Mathematics. London: Penguin, 2008. Credo Reference. Web. 13 August 2012.

  • There are no comments for this topic.