logicomathematical mathematic mathsy philomathematical mathematick metamathematical mathematizable algebrogeometric number-theoretic mathematisable