consistency: (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
haber process: an industrial process for producing ammonia from nitrogen and hydrogen by combining them under high pressure in the presence of an iron catalyst