discussion:sa:science:mathematics_and_logic