请简要介绍数学中的平行线公设。