Reynolds-Hurkens 悖论的一个变体
计算机科学中的逻辑
2023-09-01 v1 逻辑
摘要
我们给出了 Hurkens 悖论的一个变体，该变体本身可视为 Reynolds 关于多态性不存在集合论模型这一结果的变体。
引用
@article{arxiv.2308.16726,
title = {A variation of Reynolds-Hurkens Paradox},
author = {Thierry Coquand},
journal= {arXiv preprint arXiv:2308.16726},
year = {2023}
}