The formula y x M(x, y)
which is the sentence we meant to express.
- literally says 'For all y there is some x such that x is a mother of y'.
- We can express this sentence more elegantly as 'Everyone has a mother'
Back to Question.