[일반] 이거 정의가 아니라 증명가능한거임?

[익명(118.235)]

이게 Hrbacek 집합론 교재고

이건 내가보는 책의정의인데

여기서는 정리로 나오네 저게

정리로 증명을 어떻게하지

유한집합일땐 특별히증명이가능해서그런거같은데

- dc official App

[익명(147.47)]

유한집합 : 일단 귀납법을 써본다

[익명(118.235)]

X에 대해 귀납써서 크기 n++인집합을 원소하나빼서 크기n으로 줄여버리면 정의역 자체가달라져버려서 뭘할수 있는 껀덕지가 없는데 어케하지 - dc App

[리카(lillollool)]

자연수로서의 n^m 이랑 기수로서의 n^m이 같음을 증명하라는거아녀?

[익명(118.235)]

그려 - dc App

[익명(118.235)]

X Y가 유한집합리면 Y^X (X에서 Y로 가는 함수 전체의 집합) 가 유한집합이고 그 기수가 (Y의 기수)^(X의 기수) 를 증명하는거. - dc App