20. Существует хотя бы одна прямая. а) Свойство пространства. б) Аксиома. в) Теорема. г) Определение.