Single Idea 17761

[catalogued under 5. Theory of Logic / K. Features of Logics / 1. Axiomatisation]

Full Idea

Having such a compact [axiomatic] presentation of a complicated field [such as Euclid's], makes it possible to relate not only to particular theorems but also to the whole field as such.

Gist of Idea

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

Source

Michal Walicki (Introduction to Mathematical Logic [2012], 4.1)

Book Reference

Walicki,Michal: 'Introduction to Mathematical Logic' [World Scientific 2012], p.118