Логика и доказательства: способы проверки гипотез