# proof theory

Save This Word!

noun

the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity

QUIZ

SHALL WE PLAY A "SHALL" VS. "SHOULD" CHALLENGE?

Should you take this quiz on “shall” versus “should”? It should prove to be a quick challenge!

Question 1 of 6

Which form is used to state an obligation or duty someone has?

## Words nearby proof theory

proof of the pudding, proofread, proof sheet, proof spirit, proof stress, proof theory, prootic, prop, propaedeutic, propagable, propaganda

Collins English Dictionary - Complete & Unabridged 2012 Digital Edition
© William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012