#godel

¶ Gödel’s incompleteness theorems are constantly misused in philosophical arguments

A public service post, since I see this weekly. What the first theorem says, roughly: any consistent, effectively axiomatised formal system that contains enough arithmetic has true sentences in its language that it can't prove. The second says such a system can't…