from 証明

数学および論理学で、真であると認められている いくつかの 命題（公理）から、ある命題が正しいことを論理的に導くこと。論証