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

I think this list of grades was defined assuming Peano arithmetic is consistent.