＞それ（有限主義）だと得られる物があまりに少ないので

実は変わらない。なぜならゲーデル数化によって
算術に翻訳しちゃえばいいから（ｗ