mathematizable arithmetizable completable linearizable mathematisable rational commutative analytic factorizable algebrogeometric