Quantification in ordinary language and proof theory