メタ論理

本節では、

• 項の型などの判定
• 項の比較
• 項の生成分解や情報の取得
• 解集合の取得