数学百科
后承
2023-06-04
英文
consequence
简介
见“断定号”.