結果 : explain mathematical logic