Prove that ordinal arithmetic is associative

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
cragar
Messages
2,546
Reaction score
3

Homework Statement


Let a, b, c be ordinals.
Prove that a+(b+c)=(a+b)+c

Homework Equations

The Attempt at a Solution




I looked at a set theory book by Jech and he says Prove by induction on c.
Should I look at the case where its true for c+1[/B]
 
Physics news on Phys.org