Логика в математике: доказательство высказываний