4 ideas
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
16369 | There is a single file per object, memorised, reactivated, consolidated and expanded [Papineau, by Recanati] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |