#incompleteness

¶ 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…