Knowledge in Logic & Mathematics