Logical Mathematical Intelligence