Методы доказательства и опровержения гипотез: подходы и примеры