Аксиома полноты: что это и зачем нужно