>>568
おまえは「メタレベルの数学的帰納法」と「理論内部でこれから証明されるべき数学的帰納法」の区別が付いてない
自然数モドキは元々理論内部の言語にないので、
自然数モドキに関する数学的帰納法を理論内部の公理に追加しようとするなら、
まず自然数モドキ全体の集合が定義されなければならない
さあ、有限個の文字数で定義してみなさい