邏輯

assert(1+1==2) 為什麼會通過？因為數學是真理，還是因為我們定義了什麼是「等於」？