Normal Form In Mathematical Logical Intelligence