Статьи в словаре Ефремовой
1. Положение, истинность которого нуждается в доказательстве и устанавливается путем доказательства (в математике).
