User blog comment:Wythagoras/All my stuff/@comment-10429372-20130715145943/@comment-1605058-20130715180121

@DrCeasium By the same argument iota function also isn't really well defined (I once gave an example which uses function J defined exactly as I). We can prevent ill-definition by allowing only definitions which define unique numbers without contradictions.

@Deedlit Very interesting slideshow! I'm not really familiar with model theory, so I can't understand much of these, but for me it looks as it relies on V=HOD/L. In my platonistic point of view, V=HOD and V=L are false, so it all is somewhat contradictory to what I believe in.