カリーのパラドックス

3行要約

1. 自己言及的な文章を用いることで、任意の命題が真であると証明できる矛盾。
2. ハスケル・カリーにより指摘され、素朴集合論などの論理体系の欠陥を示す。
3. 真理の定義や論理の基礎に関する深い問題を提起している。