BÜTÜNLEME AKSİYOMU, “bir doğrusal çift oluşturan iki açının ölçüsü, birbirini 180’e tamamlar” biçimindeki aksiyom. A, O, B noktaları doğrusalsa AOC ile COB açıları, doğrusal çift oluştururlar ve birbirlerini bütünlerler.