이거보고있어.

첨엔 real numbers 정의하려고 여러 정의들을 알려주나바. 그걸 뱌우고있써

Axiom 9개로 ordered field F 정의하구
Induction set 정의하구 그걸로 natural elements(N) 정의하구 그걸로 J(integral elements, integers) 정의하구 그걸루 R(rational elements, rationals) 정의하구
그리구 N이 least induction set in the ordered field 인걸 이용해서 first induction law도 증명하구
first induction law로 N이 well ordered인것두 증명하구
N이 well ordered되었다는 사실러 second induction law도 증명하구
지금은 bound, completeness 정의를 배우고 이써

https://realnotcomplex.com/analysis/real-analysis/mathematical-analysis-by-elias-zakon


오눌부터 시작해써
이거할려고 칼큘러스 한달봐써