In this view, logic becomes just another formal system.
在此觀點下，邏輯只是變成了另一個形式系統。