뭐 대충 알기로는 무한소를 논리적으로 헛점없이 정의한 다음 그걸 이용해서 해석학을 전개하는걸로 아는데 그거 외에는 공부할점이 있음? 비표준해석처럼 전개하면 엡델로 전개하는 표준 해석학에서는 알아내기 힘든 결과를 쉽게 이끌어내거나 알지못했던걸 새로 알게되는 그런게 있어서 공부하는건가 - dc official App
몇몇 정리들은 실제로 맨 처음에 비표준해석학으로 먼저 증명되고 나중에 다른 사람이 일반적인 해석학적 증명으로 modify한 경우도 있더라
오.. - dc App
Invariant subspace problem에 대한 정리 중에 nonstandard analysis proof를 이용한 게 있었음