generated at
数学的推論
数学的 + 推論
論理的推論