defined terms in mathematical system