Predikaatide, mis rakenduvad predikaatidele, hästi rakendumise põhimõte ja null-kohaliste predikaatide, mis viitavad teistele null-kohalistele predikaatidele, hästi viitamise põhimõte

Predikaatide, mis rakenduvad predikaatidele, hästi rakendumise põhimõte ja null-kohaliste predikaatide, mis viitavad teistele null-kohalistele predikaatidele, hästi viitamise põhimõte

Karmo Talts

 

Sõnastame hulkade hästi moodustamise põhimõtte eeskujul hästi rakendumise põhimõtte predikaatide jaoks, mis rakenduvad predikaatidele. Vähemalt ühele predikaadile rakenduv predikaat P on hästi rakenduv, kui ühegi predikaadi Q, millele P rakendub, puhul ei moodustu lõputu ahel, kus Q rakendub R-ile, R rakendub S-ile jne. 

Vaatame nüüd null-kohalisi predikaate, mis viitavad teistele null-kohalistele predikaatidele. Vähemalt ühele väitele viitav väide P on hästi viitav, kui mitte ühegi väite Q puhul, millele P viitab, ei moodustu lõputu väidetele viitamise ahel, kus Q viitab R-ile, R viitab S-ile jne.