| 集合 | set |
| 空集合 | empty set |
| 補集合 | Complement |
| 普遍集合 | universe |
| ベキ集合 | power set |
| 有限集合 | finite set |
| 無限集合 | infinite set |
| 加算無限集合 | countability infinite set |
| 部分集合 | subset |
| 真部分集合 | proper subset |
| 順序集合 | orderd set |
| 要素 | element member |
| 命題 | proposition |
| 陳述 | statement |
| または | disjunction |
| かつ | conjunction |
| 不定 | negation |
| 同値 | equivalance |
| 和 | union |
| 積 | intersection |
| 差 | diterence |
| 素 | disjoint |
| 順序 | permutation |
| 組合せ | combination |
| 後者 | successor |
| 個数 濃度 | cardinarity |
| 1対1対応 | one-to-one correspondence |
| 対角線論法 | diagonal argument |
| 数学的帰納法 | mathmatical induction |
| 帰納法の仮定 | induction hypothesis |
| 包除の原理 | principle of inclusion and exclution |
| ベン図 | Venn diagrams |