일차논리 ZFC 데카르트곱 관계 함수 동치 분할 순서 기수 이정도 알면 된거임?