[일반] 선택공리공부하고나서 수학은 혼자못하겠다는 생각이듦

[편등이(univman)]

책에있는 증명이 틀린거같아서 계속 계속 검토해봤는데

완벽히 맞고

조금 다르게 증명해봤는데 (완전 똑같은데 함수만 조금 바꿔서) 오늘아침에 다시 따라써보니까 갭, 오류가 두개나 있었음

내가 한 증명이 올바른지 모르니까

증명보조장치같은거 없는이상 취미로도 혼자 깊게는 못하겠네..

- dc official App

[TonyMontana(thecoqproofassistant)]

증명보조장치가 실제로 있어요

[편등이(univman)]

[ExHentai.org(nsa15464)]

집합론할때 선택공리 엄청 빡셌던걸로 기억함.. 잡대들은 아마 건너뛰고 갈걸 난 전부 까먹었다

[편등이(univman)]

선택공리 자체 보다는 조른렘마 이후로나오는 동치명제들이 머리터질거같슴 - dc App

[ExHentai.org(nsa15464)]

ㅇㅇ 맞음 그게 빡셈

[ExHentai.org(nsa15464)]

사실 난 그때 선택공리 그냥 적용하는것도 힘들었음. ㅋㅋ 이후에 나오는것들은 그냥 죽을맛이었지

[편등이(univman)]

기수서수는 좀 쉬윱니까? - dc App

[ExHentai.org(nsa15464)]

선택공리는 거기서도 쓰이지만 크게 안쓰였던것 같음. 모든 무한집합은 기수가 알레프제로인 무한집합을 부분집합으로 갖는거 증명할때 선택공리 쓰였던걸로 기억함

[ExHentai.org(nsa15464)]

선택공리 파트보다 덜 힘들었던걸로 기억함

[편등이(univman)]