Quantified Statement In Mathematical Logic