Combining Philosophers

Ideas for Sigmund Freud, William W. Tait and Leon Horsten

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

2 ideas

5. Theory of Logic / K. Features of Logics / 1. Axiomatisation

13416

Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C]

5. Theory of Logic / K. Features of Logics / 5. Incompleteness

15353

The first incompleteness theorem means that consistency does not entail soundness [Horsten]