Disa nga këto parime mund të dëshmohen se janë pasojë e parimeve të tjera. Shumëllojshmëria e formulimeve të këtyre parimeve aksiomatike lejon një analizë të hollësishme të formulimeve të kërkuara në mënyrë që të nxjerrin rezultate të ndryshme matematikore.[14] Would you like to incorporate a word, a phrase or a translat