Combining Texts

Ideas for 'Saundaranandakavya', 'Introduction to Mathematical Logic' and 'Necessary Truth'

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

display all the ideas for this combination of texts

---

2 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]