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