Statement In Mathematical Logic