Quantified Statement In Mathematical Logic Pioneer