The proof uses the famous Cantor's diagonal argument which can be found in many different places online. Unfortunately, it can not be written here. The idea is to assume that there is an enumeration of all possible sequences of natural numbers and then find another sequence that it has been "forgotten" from this enumeration. This implies a contradiction and hence, it concludes the argument.

Jason L.

asked • 11/20/17# I need help with writing a proof about cardinality. Please look at description for more detail.

Let N^N(Nautral Numbers)={f:f|N->N}.

a. Give two elements of N^N

b. Prove that Aleph Zero <|N^N|

Follow
•
1

Add comment

More

Report

## 1 Expert Answer

## Still looking for help? Get the right answer, fast.

Ask a question for free

Get a free answer to a quick problem.

Most questions answered within 4 hours.

#### OR

Find an Online Tutor Now

Choose an expert and meet online. No packages or subscriptions, pay only for the time you need.