Logical Mathematical Intelligence Theory