他 在 課堂 上 深入 探討 了 形式 科學 的 理論 基礎 ， 並 展示 了 其 在 數學 中 的 實際 應用 。