axiomer och formler , som han anser för till alla delar sanna.