即係一啲描述原始諗法、被認為係不證自明嘅陳述式，而且唔能夠由第啲公理嗰度推理出嚟，例如「是但搵任何兩點，都有可能畫條通過呢兩點嘅直線」就係歐幾裏得嗰套幾何理論嘅其中一條公理，即係歐幾裏得認為呢句嘢好明顯，唔使證明都可以當係真確；