Metasprache

<== Inferenzverfahren

<=> Metaebene

<== Objektsprache

==> Logik