Current Total Ideas:
structure for 'Theory of Logic'
alphabetical list of themes
expand these ideas
5. Theory of Logic / K. Features of Logics / 9. Expressibility
[limits of what can be said in a logical language]
Being 'expressible' depends on language; being 'capture/represented' depends on axioms and proof system
A language is 'semantically effective' if its logical truths are recursively enumerable