consistency: (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
soda cracker: unsweetened cracker leavened slightly with soda and cream of tartar