[일반] 실수체계가 가산모델로 구성할 수 있다는 말이

[익명(37.19)]

직관적으로 납득이 안됨.

[익명(60.153)]

GPT를 너무 믿으면 안됨

[수갤러 1(58.141)]

저기서 말하는 실수체계는 RCF(real closed field)임

[수갤러 1(58.141)]

1차논리성질은 실수체와 같은데 2차논리성질(완비성, 아르키메데스 성질 등)은 실수체와 다를수 있음. 저기서 말하는 가산모형은 the real algrbraic number field 같은게 있음