1. カテゴリーなし

中間述語論理 CD の完全性証明 1 序 2 定義