以上我們談了一些 邏輯的基礎,接下來我們會談一些 數學的基礎,也就是整數與實數系統.其實我們已經用了很多,非正式地,接下來我們會正式地討論他們. 要 建構 實數系統的一個方法就是利用公理跟集合論來建構. 首先我們需要從集合論出發,定義在 set $A$ 上的 二元運算子(binary operator): Def. $$f: A times A rightarrow A$$ 我們在描述一個二元運算子的時候並不會如同以往的函數一樣, $f(a, a')$,而是會把運算子寫在中間, $afa'$.一…