Sa loob ng pormal na sistemang ito , inilalahad ng mga alituntunin ng paghahango at mga posibleng aksyoma ang hanay ng mga teorema , na mga pormula na maaaring hanguin mula sa paggamit ng mga alituntunin ng paghahango.
