Logic-mathematical reasoning