Proszę udowodnić, że dla dowolnych m, n ∈ N zachodzi Skiper: Może ktoś pomóc z tym dowodem ? Proszę udowodnić, że dla dowolnych m, n ∈ N zachodzi m'=n' ⇒ m=n na wykładach miałem przyjęte że: m'=m ⋁ {m}