| proof theory | |
| —n | |
| the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity | |
00:10
00:09
00:08
00:07
00:06
00:05
00:04
00:03
00:02
00:01
| a chattering or flighty, light-headed person. |
| the offspring of a zebra and a donkey. |