User blog comment:Vel!/NOT the largest number ever/@comment-4297047-20140915010029/@comment-5529393-20140915011652

Vel and Wojowu are joking around. Vel's assertion is that Sx != x doesn't contradicts the axioms (although his proof isn't really a proof), but this doesn't conflict with Wojowu's claim that SN = N doesn't contradict the axioms either.