數理邏輯;符號邏輯;計算術;對數的;邏輯的