Only for sufficiently powerful systems, I believe. Things like first order logic are too simple to introduce the kinds of statements Godel used to prove the in

Only for sufficiently powerful systems, I believe. Things like first order logic are too simple to introduce the kinds of statements Godel used to prove the incompleteness theorem about arithmetic.