3 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
18265 | We don't judge by combining subject and concept; we get a concept by splitting up a judgement [Frege] |