这里是直线公理：过一点，有且仅有一条直线与已知直线垂直。公理是人们经过长期生活实践总结归纳的正确的命题。它不能运用其他知识证明。类似的，还有：经过两点，有且仅有一条直线等。