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

All jokes aside, Robinson's number should get an A. It is indeed precisely defined. In the definition of grade A on my blog, I note that "[grade A systems] can only be disputed from a metamathematical standpoint." A reasonable dispute is not accepting Peng's nonstandard model of Q.