Se trata de una obra única en la que, a partir de pocas definiciones y axiomas, se deducen una infinidad de teoremas.