メタレベルの議論に限ってですが、自然数を変数化できない（自然数を値に取る変数という概念がない）
というのは強い制約といえるでしょうか？