Раздел § 8. Теореми і аксіоми