集合 | 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 |