>>3
Q4の答えっておかしいよな
無矛盾であることが証明できないことと矛盾する論理結果が独立に存在しうることは別