3 ideas
16456 | For modality Lewis rejected boxes and diamonds, preferring worlds, and an index for the actual one [Lewis, by Stalnaker] |
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |