Lawvereの不動点定理
圏論上の対角線論法の一般化．
Noson S. Yanofsky, "A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points"
F. William Lawvere, "Diagonal arguments and cartesian closed categories"