変数に何でも代入できるというのも考え直さなければならない
変数とは何か
通常
∀xを変数
∃aを定数
というが
全称命題の不存在性から∀x(x=1)ができないとすると
∃x(x=1)としなければならない
いくらでも動くという意味で∀xが在るが

∃1x：定数
∃x：任意定数

とするのはどうだろうか
そもそも任意定数と変数の違いがわからなかったから
いっそのこと変数という用語は削除してしまえ