Раздел § 4. Аксіоми, означення, теореми