====== METATHEOREM ======

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 [[Axiom]]en weiterentwickelt werden