メタ論理学

メタ論理学（メタろんりがく、英: Metalogic）とは、論理のメタ理論の研究である。論理学が、論理システムがどのようにして有効で健全な論証を構築するために使用できるかを研究するのに対し、メタ論理学は論理システムの特性を研究する。