Обзор следствий из аксиом принадлежности и порядка Гильберта.