resplendency
noun
°A property of the truth of sentence structures in Peano Arithmetic.