display all the ideas for this combination of philosophers
2 ideas
15347 | A theory of syntax can be based on Peano arithmetic, thanks to the translation by Gödel coding [Horsten] |
15383 | Nothing external can truly be predicated of an object [Abelard, by Panaccio] |