Source: cirosantilli/consistency
= Consistency
{wiki}
= Consistent
{synonym}
A set of <axioms> is consistent if they don't lead to any contradictions.
When a set of axioms is not consistent, false can be proven, and then everything is true, making the set of axioms useless.