갑자기 생각났는데 만약 어떤 명제가 증명이 불가능하다는 것조차 증명이 불가능하면 어떡함? 좆된 거 아님? 증명불가능하다는 것이 증명불가능하다는 것조차 증명불가능하면 어떡함? 이게 존나 무한히 증명불가능할 수도 있음? 증명불가능한 명제가 어떻게 해도 반드시 존재하는 건 아는데 증명불가능하다는 것이 증명불가능한 것도 반드시 존재해야하는 거임? 갑자기 공부하기 싫어졌음