數理邏輯與數學基礎及四大數學哲學流派

公理 符號邏輯 logic 金人麟 校閱 哥德爾