3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
9159 | You can't simply convert geometry into algebra, as some spatial content is lost [Burge] |
8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |