光設，猶是講公里，是1个系統內底無證明就假設是真的的1句話，猶是命題 (proposition)。掠公設做出發點來推論，閣會當得著定理。佇一寡認識論 (epistemology)，公里是自明 (self-evident) 的真理 (truth)，賰的的智識著愛用公里做基層來建立。也就是講，認捌村的的命題進前，會當先認捌公里。毋過凡勢這種公里根本就無存在。