On 21 Mrz., 04:06, Virgil <vir...@ligriv.com> wrote:
> For any natural n in |N, we can know that n lines fail, but we can also > know that any infinite set of lines succeeds.
No. You are so blinded by what you have learned that you think you knew that. But if you applied induction to the set M of unnecessary lines, you could find the contrary.
a) 1 is in M. b) From n in M we can conclude that n+1 in M. Then |N is a subset of M
If you learn to apply this simple foundation of actual infinity, then you can prove that actual infinity is self-contradictory (and |N is not completed).