Logical Mathematical Definition