#universal quantifier #abstract structure #mathematical reasoning #formal thought #foundations of mathematics