3 ideas
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
22591 | We know perfection when we see what is imperfect [Murdoch] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |