後來發現網路上面找到的都是寫作 直覺邏輯 或 直覺主義邏輯..