ノート:証明系

『証明系』の項目なのに、証明検証系の説明が書かれています。とりあえず、このままで、項目名だけ『証明検証系』に変えたものを作り、ここは全面書き換えを提案します。 Wd 2005年1月20日 (木) 16:33 (UTC)

第二案です。「証明系とは、狭義には自動証明系のことを意味するが、広義には、証明検証系や証明編集系を含めることもある。」の一文を加えた上、自動証明系・証明検証系・証明編集系の説明をここに書く手もあります。

どちらが良いか決断できませんので、とりあえず、他の人の意見を待ちます。 Wd 2005年1月21日 (金) 05:43 (UTC)

失礼します。私はあまり本項目の内容について知識がありませんので、慣例的な方針のご紹介程度の意見になりますがご容赦ください。

想定される対象それぞれの関わりにも因ると思いますが、ひとまずの目安として、記述が嵩張りそうであれば第一案、そうでないのであれば第二案を念頭に置かれると良いのではないかと考えました。あるいは、第二案に従い総論的に広義の証明系について触れた記事としておき、記述が大きくなる（あるいは特に詳述を要する）記述対象があるのであれば、そちらを個別に記述する別項目を並行して作成するという両案折衷で行かれるのも宜しいかと思います。

なお、第一案をとられるのであれば、項目名の変更は上部の「移動」タブをクリックすることで「記事を移動」する形で行うことができます（コピー&ペーストによる複製ではなく移動機能を使うことが編集履歴保護の観点から推奨されています）。既にご存知でしたらお見捨てください。--Lem 2005年1月21日 (金) 07:10 (UTC)