Natural mathematics and natural logic