Beispiel
Abkürzung: Dnp := (p ? Knp)&(~p ? Kn~p)
Atomare Aussagen: Pn, n natürliche Zahl
Axiome: AL, {Pn|n Primzahl},{~Pn|n keine Primzahl}. Also: Theorie d. Primzahlen
Komplexität: f(n)=n½*||n||2
Interessante epistemische Aussagen: Df(n)Pn, D?f(i)q, Kb||n||Da||n||Pn, Ka||n||Kb||n||Daf(n)Pn