무한소와 초실수/초준해석/비표준해석

표준해석일때 아르키메데스 실수의 일반적 정의에 따라 0 이 아닌 무한소는 없는데

비표준해석으로 갔을때 1/inf = 0 이 아니라는 건가요, 아니면 0이 맞는데 표기를 따로 하고 따로 존재한다고 치고 가는 건지 아시는분? 예를 들어 무한대는 무한히 존재하지만 특성은 여전한데 무한소도 무한히 존재해도 특성은 표준해석과 같은건지...?

디씨 수학갤 가야하나