Single Idea 17789

[catalogued under 5. Theory of Logic / K. Features of Logics / 6. Compactness]

Full Idea

No logic which can axiomatise arithmetic can be compact or complete.

Gist of Idea

No logic which can axiomatise arithmetic can be compact or complete

Source

John Mayberry (What Required for Foundation for Maths? [1994], p.412-1)

Book Reference

'Philosophy of Mathematics: anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.412


A Reaction

I take this to be because there are new truths in the transfinite level (as well as the problem of incompleteness).