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).