Aturan-aturan yang dimaksud adalah bahwa suatu sifat harus dibuktikan kebenarannya secara langsung dari definisi atau aksioma, dalil (teorema) harus dibuktikan kebenarannya berdasarkan definisi yang berlaku atau
berdasarkan aksioma (postulat) yang berlaku, atau berdasarkan