(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.

Alternative spelling of proof of concept

plural of negative proof

Able to be cleaned in a dishwasher without damage.

Alternative spelling of acidproof

A mixture of alcohol and water used as a standard for distilled drinks.

Synonym of ontological argument

Overwhelming or definitive proof.

plural of proof reader

constructed to withstand splashing