Many subsequent proofs have reformulated Lawvere's theorem in weaker structures, suggesting topos-th...
This proposition has not been edited since the history system was added.