[일반] 오늘의 핫숀 [2] 3.16 Noetherian Induction

[ㅇㅇㅇ(46.114)]

처음엔 zorns lemma로 할수 있을줄 알고 그쪽으로 셋팅하다가 깨닫고 깔끔하게 정리함.

Zorns lemma로 할수 있는 사람도 있으려나..?

- dc official App

[익명(223.38)]

굿

[ultraproduct(ultraproduct)]

그냥 well-founded relation에 대한 induction일 뿐인데 Zorn's Lemma는 필요 없음.

[익명(223.38)]

꾸준히 하는거 멋지다