helt och hållet på teorem ( propositioner , som kan kallar dem ) och problem , hvilka alla böckerna utom den första , der inga problem förekomma ,stå