什麼是公設

公設是在數學或邏輯中，被認爲是不證自明、因而無需證明其爲正確的陳述或命題。

公設通常是某個學科或領域的基本原理，如幾何學中的公理，這些公設構成了一門學科的基礎，其他所有命題都可以從這些公設中邏輯地推導出來。在數學史上，最著名的公設之一是歐幾里德《幾何原本》中的平行公設，它在數學史上引發了長期的討論，並最終導致了非歐幾何的誕生。