Incompleteness

• Is Consistency an Axiom of Mathematics?
  Consistency is usually a property of a formal mathematical theory, not a universal axiom; a theory can nevertheless include a formal consistency statement.