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