L22_A
Proving Set Identities
L22_B
Cardinality of a Set
L22_C
Thm: A is coumtable, any subset of A is countable
L22_D
Diagonalization
Title
第1節
第2節
第3節
第4節
Syllabus
L22_A
Proving Set Identities