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