费希特范畴推演属于自然演绎法吗