undefined terms in mathematical system