非欧几何平行线相交的规则：黎曼几何中的一条基本规定是：在同一平面内任何两条直线都有公共点（交点）。在黎曼几何学中不承认平行线的存在，它的另一条公设讲：直线可以无限延长，但总的长度是有限的。黎曼几何的模型是一个经过适当“改进”的球面。

黎曼几何是德国数学家黎曼创立的。他在1851年所作的一篇论文《论几何学作为基础的假设》中明确的提出另一种几何学的存在，开创了几何学的一片新的广阔领域。