Theorem schema:

- Symbols are
`p`

,`q`

and`-`

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

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

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

is also a theorem.`x`p`y`-q`z`-

index | 2021-02-10