Talk:Axiom of Foundation (Strong Form)/Proof 1

The only way this approach is anything but silly is if we find someone who uses Set has Rank as the axiom of foundation (and maybe even then). But at least it looks valid now. --Dfeuer (talk) 17:52, 6 April 2013 (UTC)


 * Clearly Takeuti and Zaring don't think it's silly. --prime mover (talk) 18:15, 6 April 2013 (UTC)