#E6E6E6
兼談：後設數學、數學哲學與邏輯哲學