> そもそも「数項」ってのはキソロンとやらでは使うかもしれないけど
> アルゴリズムの理論で使うのかなあ。。
基礎論でもnumeral termなんていう単語は使わない。
ShoenfieldもTroelstraも松本和夫も使ってない。
彼の脳内でしか通用しない造語だろう。
しかもあまり日本語も達者ではないようで、数図形だのなんだの言ってるね。

> 自然数に数項ってのがありますよね。
こんなこと言われても困る。