back to ideas for this text


Single Idea 17761

[from 'Introduction to Mathematical Logic' by Michal Walicki, in 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