Es seien n 1 , … , n r {\displaystyle {}n_{1},\ldots ,n_{r}} natürliche Zahlen und sei
wobei n j {\displaystyle {}n_{j}} durch die n j {\displaystyle {}n_{j}} -fache Summe der 1 {\displaystyle {}1} mit sich selbst realisiert werde. Zeige, dass es Sätze p , q ∈ L 0 A r {\displaystyle {}p,q\in L_{0}^{\rm {Ar}}} mit
und mit
natürliche Zahlen und sei
durch die -fache Summe der 
mit sich selbst realisiert werde. Zeige, dass es Sätze 
mit
