display all the ideas for this combination of philosophers
2 ideas
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
13701 | A single second-order sentence validates all of arithmetic - but this can't be proved axiomatically [Sider] |