Past exam of the logic and set theory course of the University of Oxford / 2007 / B / 5 / iii

Table of contents
- Solution iii

Solution

Fix

m

and induct on

n

. At

n = 0

,

m^{+} + 0 = m^{+} = (m + 0)^{+} = m + 0^{+} .

If

m^{+} + n = m + n^{+}

, then

m^{+} + n^{+} = (m^{+} + n)^{+} = (m + n^{+})^{+} = m + (n^{+})^{+} .

The last expression is the right-hand side required at the successor

n^{+}

. Therefore

m^{+} + n = m + n^{+} (m, n \in ω) .

In particular both sides also equal

(m + n)^{+}

by the recursion equation for the second argument.

 Ancestors (12)

 View article source

 Discussion (0) New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic Create my own version