교수님이 극한의 해석적정수론덕후라서 첫수업에 데데킨트절단얘기만하다가 끗난다던가

시험문제로 실수의 완비성 증명이 나온다던가