L22_A Proving Set IdentitiesL22_B Cardinality of a Set L22_C Thm: A is coumtable, any subset of A is countable L22_D Diagonalization