「理論Tで証明できない命題があれば理論Tは少なくとも矛盾はしていない（逆に矛盾しているなら任意の命題が証明できるから）」という事実未だに非直感的すぎて慣れない