User blog comment:Wythagoras/My well-definedness-grades/@comment-2033667-20141007193533/@comment-1605058-20141008042323

What does it have to do with Vel's point? PA being consistent is no restriction in existence of Robinson's number.