[일반] 수학뽕에취한다

[비표준해석학(lillollool)]

뭐랄까 증명해둔 정리가 늘어날수록 새로운 정리들을 증명하기가 점점 수월해진다

걸음마수준이지만 유사 빌드업하는느낌나네..

[12232?(ujm262)]

평소에 어떤거 증명하시나요

[비표준해석학(lillollool)]

지금 유한집합vs무한집합 , 가산집합vs비가산집합 관련 아주 기초적인 명제들 증명해보는중 (ex 전단사 f:X->Y, X가무한집합=>Y가무한집합 // 무한집합의 초집합은 무한집합 // 가산집합의 무한부분집합은 가부번 // 가부번집합의 유한 합집합은 가부번 등등)

[비표준해석학(lillollool)]

직접증명중에 함수잡는거자체가 아이디어틱한건 보면서했는데 해볼만해보이면 최대한 안보면서 하려고 노력하는중

[비표준해석학(lillollool)]

갈수록 이전에 증명했던걸로 새로운걸 증명하는경우가 많아져서 무한집합 처음하던날보단 덜 자살말림

[12232?(ujm262)]

오.. 학점헌터 ㅆㄱㄴ

[물리학2(hiorikazano)]

[비표준해석학(lillollool)]

[익명(114.203)]

그런거 할바에 자지털 개수센다

[비표준해석학(lillollool)]

ㅇㅈ

[어한(darkhanseogone)]

[비표준해석학(lillollool)]