形式論理学

形式論理（けいしきろんり）とは、
非形式論理学や形式主義 (数学) などの記事も参照のこと。