If on the other hand, contrary to the thesi� that mathematics is ogic, some mathematical expressions resist definition in terms of logical ones, we can extend the foregomg method into thedomain of these recalci trant expressions: we can rcumscri be the latter through conventional assignment of truth to var of their contexts, and thus render mathe matics conventionally true in the same fashion which logic has been rendered so.