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