what is the treatise consisting of theorems and postulates​