MATHEMATICAL LOGICAL INTELLIGENCE