FANDOM


公設(kong-siat),抑是講公理(kong-lí),是一个系統內底無證明就假設是真的的一句話,抑是命題(proposition),掠公設做出發點來推論,閣會當得著定理。

佇一寡認識論(epistemology),公理是自明的真理,賰的的智識著愛用公理做基層來建立,也就是講認捌賰的的命題進前,會當先認捌公理,毋過凡勢這種公理基本就無存在。

佇邏輯佮數學,公設無必然是自明的真理,伊較成符合形式(formal)邏輯的一句話,會得用來做進一步的推論,公設化 (axiomatize)就是講對少獨立的一組公設會當得著幾套智識系統,一个智識系統,譬論講算數,公設化的方法定定有幾若个,數學閣共公設分做邏輯公設佮非邏輯公設兩款。


  • 這篇文章是對河佬百科(Holopedia)的:"Kong-siat"改來的,原本文章的作者請看伊的編輯歷史

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Also on FANDOM

Random Wiki