谈“一个辩证命题的形式化”
담“일개변증명제적형식화”