The most interesting thing about both the proof and formal logic more generally is that it either means the world is fundamentally nondiscrete (so formal logic doesn't really apply) or, if discrete, there must be a non-discretized metalayer above the world we see and understand.

Personally I prefer a non discrete world, which means we need more process theory and ontological studies thereof.