数理論理学の定義通りの証明が書いてある論文なんてないからな。