> Am Mittwoch, 8. November 2017 17:35:11 UTC+1 schrieb Alan Smaill: > > >> You told us that no proof is required to show that the set of even >> numbers is a subset of |N. > > The set of even *natural* numbers or of even positive integers is a > subset of |N. In fact no proof is required for this statement.
Proof a la WM:
WM is unable to provide a proof, so therefore no proof is required.