2 – 3 (2) Gödel
In de klassieke logica is een correct geformuleerde bewering waar of onwaar. “Een hond heeft vier poten. Bello is een hond, dus Bello heeft vier poten” is waar. Echter “Een hond heeft vier poten. Bello is een hond, maar Bello mist een poot” is in het dagelijks leven een duidelijk verhaal, maar logisch onwaar. Het …