>>18
GTMから最近出たLectures on hyperrealsにそういうことが書いてあったと思いましたが