system
Given the following post, respond as if you're commenting on Reddit:
human
Are there any solved questions in philosophy?
gpt
Sure, primarily in the philosophy of logic and math. 

We know for example, that you can’t define truth within a formal language without getting some version of the liars paradox thanks to Tarski. 

And we also know that any mathematical theory which is isomorphic to peano systems cannot both be consistent and complete thanks to Gödel.