Usually, it's ≤ which gets defined first, not >. In the case of PA, you can define ≤ as a≤b↔∃c(b=a+c). But of cource, once you've defined one of the ...
確定！ 回上一頁
