形式的に定義しない言葉 証明 → 証拠{図 | 式}またはリーズニング{図 | 式} 公理 → 原子定理 命題 → 論理式、定理 推論、推論規則 → 原子証拠{図 | 式}、原子リーズニング{図 | 式} 形式的に定義する言葉 項、原子項 論理式、原子論理式 文脈 シーケント 証…

多義語・曖昧語がオーバーロードのときもあれば、総称のときもある。オーバーロードと総称の境界はハッキリしない。 総称語は全体を意味するのであって、個別ケースにはあまり使われない。 オーバーロードされた語は個別ケースに使われるが、複数ケースで同…