謝謝你瀏覽敝網站，由於我不是經常來看留言板，所以這麼遲才回覆，請見諒。以下嘗試回答你的問題。

現代數理邏輯學有所謂「形式主義」，是指僅從邏輯推理的形式判斷該推理是否有效，而不考慮該推理所含的語言內容，而有關內容可以是關於任何學科或甚至非學術內容，這裡的「學科」是指數理邏輯以外的學科，可以是化學、經濟學，甚至可以是常識或日常生活的事情。

我不是說「邏輯學與數學一樣」，而是說「邏輯學有點跟數學相似」，這是因為數學像邏輯學一樣也是高度抽象的，例如現代的抽象代數學便從眾多滿足結合律、含單位元和逆元的封閉運算中抽象出「群」這個概念。當數學家證明有關「群」的定理時，他是抽象地從「群」的整體性質考慮問題，並不考慮「群」的具體例子，例如自然數加法、矩陣加法、可逆矩陣乘法等等，因此這也是一種純形式推理。