超準解析を勉強したのはもう20年も前だなあ。
sentence が internal（inner だっけ?) か否かをいちいち考えながら
議論するのはメンドくさいと思う。昔、超準解析を理解していると称する
オッサンが「超準解析でも数学的帰納法は成立する」と騒いでいたので
「無限大自然数の全体に最小値はあるんですか」と聞いたら絶句していた。
（理解しとらんがな）

まあ標準理論の方が気楽でいいな。