假设有不止一个
则至少有两个
即经过两个点有两条直线
这和公理：两点决定一条直线矛盾
所以假设错误
所以两条直线的公共点只有一个