The quality of being impressive.
resplendence, radiant beauty
A property of the truth of sentence structures in Peano arithmetic