>More generally, logic can be used to demonstrate the limitations of logic This is of course true, but nevertheless it is an interesting result (hence why we s

>More generally, logic can be used to demonstrate the limitations of logic This is of course true, but nevertheless it is an interesting result (hence why we study Gödel's incompleteness theorem).