普通の自然数に対応するのが数学的帰納法である、とするとき、
超準自然数に対応するのがこれだ、というようなものはあるのだろうか？