OFFENSIVE TITLE

HIGHLY OFFENSIVE RANT ABOUT HASKELL

AUTISM

MORE AUTISM

EVEN MORE AUTISM

OHGOD AUTISM EVERYWHERE

LISP

LISP IS GOOD

LISP IS BETTER THAN EVERYTHING YOU BELIEVE IN

LISP GIVES ME A RAGING BONER

I WANT TO MARRY LISP

OH LORD IN HEAVEN I LOVE LISP SO MUCH I WOULD KILL MYSELF FOR LISP

ALSO EMACS

WINDOWS IS PIG DISGUSTING

I AM USING SOLARIS BECAUSE I KNOWS TEH LUNIX

AND TOTALLY NOT BECAUSE I AM FUCKING STUCK AT MY JOB AS SERVER ADMINISTRATOR (ALSO A RONERY FAGGOT)

>>59
and that you can't show us that for every N there is an unique N+1 > N
Why not?
Let's say you define a system where M is the largest number. You can prove that said system is consistent internally and all that.
Now suddenly M isn't enough to express your problem so you redefine it to be 2*M, or M+1 in size (still finite). You keep doing that as your needs increase. Can you show that no such further redefinition is possible?