ein vor jeder Beschäftigung stehendes SELBSTVERSTÄNDNIS, z.B. gilt für die intentionale LOGIK:
jedes intentionales Theorem ist klassisch gültig und nicht jede klassisch gültige Formel ist Theorem in der intentionalen
LOGIK
Metatheoreme können zu
AXIOMen weiterentwickelt werden