Lotru tipu dafirmaciones a les que se fai referencia son los teoremes. Estes afirmaciones tienen de ser demostraes usando los axomes o otros teoremas yá demostraos. Una consecuencia inmediata dun teorema va llamase corolariu.