003、形式逻辑神学三段论（下）