Definition. Consistent [001D]

A statement is consitent with a familily of axioms if it cannot be disproven based on these axioms.