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