This was paid for by tax-payer money? Wow Germany. Awesome.

I've only just begun studying Gödel's proof of incompleteness and so I'm not qualified in any way to verify this paper. However it seems to me, as a layman, to be a very large stretch and mostly a tongue-in-cheek exercise of various logic proof verification software.

Or possibly a troll. Hard to tell. :)