Ok, So I know this proof is wrong, but I can't find the error.
- The fundamental theorem of arithmetic says that every natural number can be uniquely expressed as a product of primes. I usually see this explained with multistep. (Definition)
- So the naturals are bijective to the set of multisets of primes (Right? [This is the wrong step]) (From Step 1)
- Primes are countable and thus bijective to naturals (Definition)
- The set of multisets of primes is bijective to the set of multisets of naturals (This seems like the error, but I don't see why) (From step 3)
- So the naturals are bijective to the set of multisets of naturals (At this point I know I'm wrong) (From steps 2 and 4)
- The powerset of naturals is a proper subset of the set of multisets of naturals (Definition)
- The reals are bijective to the powerset of naturals (outside theorem)
- The reals are a proper subset of the naturals (from steps 5,6,7)
- 22/7 is real and not natural (Definition)
- The reals are not a proper subset of the naturals (From Step 9)
- Contradiction. (From steps 8, 10)
What am I doing wrong here?