more from this thinker | more from this text
Full Idea
Whether a property is 'expressible' in a given theory depends on the richness of the theory's language. Whether the property can be 'captured' (or 'represented') by the theory depends on the richness of the axioms and proof system.
Gist of Idea
Being 'expressible' depends on language; being 'capture/represented' depends on axioms and proof system
Source
Peter Smith (Intro to Gödel's Theorems [2007], 04.7)
Book Ref
Smith,Peter: 'An Introduction to Gödel's Theorems' [CUP 2007], p.36
10600 | Being 'expressible' depends on language; being 'capture/represented' depends on axioms and proof system [Smith,P] |
13661 | A language is 'semantically effective' if its logical truths are recursively enumerable [Shapiro] |