display all the ideas for this combination of texts
2 ideas
10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
14245 | Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley] |