前提を表すことに加えて、出会い構造にすることもできます。
著者は、小説に登場する小説を「メタフィクション」と呼びます。「出会い」とは、「フィクションを主題としたフィクション」を意味します。
理論とは何か、理論とは何か、それらをどのように分類できるかを考慮する理論は、「メタ理論」と呼ばれます。
〜理論に関する理論〜
「理論の理論」の出会いから、現実からほど遠い形式科学は一種のメタ理論です。
フォーマルサイエンスは、内容ではなくメソッドのみを抽象化する分野であり、数学、論理、システム理論、情報科学、統計などが含まれます。
しかし、一般的に、これらはメタ理論と呼ばれず、メタの別の段階であり、
言い換えれば、数学、論理、情報科学について考える理論は、しばしばメタ理論と呼ばれます。