Theorem schema:

- Symbols are
`p`

,`q`

and`-`

. - Axiom-defining scheme: If
`x`consists only of hyphens, then

is an axiom.`x`t-q`x`- - Theorem production rule: If
`x`,`y`and`z`consist only of hyphens, and

is known to be a theorem, then`x`t`y`q`z`

is also a theorem.`x`t`y`-q`zx`

index | 2021-02-10