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