algebraizable algorithmizable calculable rationalizable axiomatizable calculatable mathematizable intellectualizable mathematisable absolutizable