定義2.3 互いに素 18項 (二重∀-除去) s.t. とする．いま，が互いに交わらないときは互いに素である，という． i.e. 直和 互いに素な集合の和集合をの直和と呼び，記号であるいはと表す．但し，である． i.e. i.e. 但し，である．

伝統的論理学の全称判断 全称肯定判断SaPについて，たとえば すべての人間は動物である を挙げられる． 一階述語論理 論理式について，たとえば すべての人間は動物である を挙げられる． 二階述語論理 論理式 (∀-除去) s.t. について，たとえば すべての人…