Mathematical Logical Intelligence