resplendence, radiant beauty
(mathematics) A property of the truth of sentence structures in Peano arithmetic