平行两条直线无限延长后一定相交，这一命题在数学界既不能被证明也不能被推翻