metalogik
Metalogik, (1. led meta-), inden for moderne logik det filosofiske og matematiske studium af logiske systemers egenskaber. Et typisk metalogisk resultat er påvisningen af, at et logisk system er (eller ikke er) konsistent, fuldstændigt og afgørbart. Læs mere i Den