"Доказательства и опровержения. Как доказываются теоремы" - читать интересную книгу автора (Лакатос)