Normal Form In Mathematical Logic