基本演绎法: 编辑记录: Forkarium