Математическая логика: альфа-сечения и их применение