一致性、完备性与几何

几个世纪里欧几里得几何被视为唯一真理。后来数学家发现，只改一条公理就能造出全新的、自洽的世界（非欧几何）。本章提醒我们：“真”取决于所处系统；一条命题可在一个世界为真，在另一个为假，而两者都能自洽。