When mathematics is recognized as capable of use, and as forming a integral part of general la nguage, the definition of mathematical notions terms of logic hecomes a task whose completion, if theoreti cally possi at all, calls for mathematical genius of a high order.