Abstrakt
Článek se zabývá logikou interpretovatelnosti aritmetické teorie PRA. Protože PRA není ani podstatně reflexivní ani konečně axiomatizovatelná, známé výsledky aritmetické úplnosti nelze použít: IL(PRA) není ani ILM, ani ILP.
Článek se zabývá logikou interpretovatelnosti aritmetické teorie PRA. Protože PRA není ani podstatně reflexivní ani konečně axiomatizovatelná, známé výsledky aritmetické úplnosti nelze použít: IL(PRA) není ani ILM, ani ILP.