학생 채널

A={x : x 는 명제}

라고 하면, A의 cardinality(크기)는 어떻게 될까?

(ex. A의 원소가 더 많을까, 실수의 개수가 더 많을까)


(p.s. 무한집합끼리의 원소의 개수는 일대일 대응 혹은 injective function의 존재성으로 비교합니다.)