Egyébként úgy hallottam, hogy a másodrendű modális logika a matematikai logika egy részterülete. Ergo a levezetés a matematikához tartozik.