Te bewijzen: <<p>> ↔ p

Bewijs

p en <<p>> zijn welgevormde haakuitdrukkingen. Elke welgevormde haakuitdrukking is te reduceren tot ofwel <>, ofwel <<>>.

Is p te reduceren tot <>, dan is <<p>> te reduceren tot <<<>>>, dat te reduceren is tot <>, dezelfde waarde als p.

Is p te reduceren tot <<>> dan is <<p>> te reduceren tot <<<<>>>>, dat te reduceren is tot <<>>, dezelfde waarde als p.

QED