1760
we are safe
(discuss.tchncs.de)
Post funny things about programming here! (Or just rant about your favourite programming language.)
Of course I don't know enough about the actual proof for it to be anything but a joke but there are infinite numbers so there should be infinite proofs.
there are also meme proofs out there I assume could be given a Gödel number easily enough.