أعود -اليوم أو غدًا- لاستكمال السلسلة المغطية لابن تيمية تغطيةً رياضية، وذاك عبر كتابه الرد على المنطقيين، من خلال المنطق الطّوري(Modal Logic)، ونظرية الفئات(Category Thoery)، ونظرية النمط(Type Theory).