It would thus appear that for the ten ahility of the thesis that mathematics is logic is not only ,ufficient but a lso necesary that all mathematical expressions be capable definition on the ba,is ,oldy of logica ones.