Combining Philosophers

Ideas for Anaxarchus, Peter Koellner and Michal Walicki

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

display all the ideas for this combination of philosophers

---

3 ideas

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

17761

A compact axiomatisation makes it possible to understand a field as a whole [Walicki]

17763

Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki]

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

17894

We have no argument to show a statement is absolutely undecidable [Koellner]