🔼S-TPDフォーマット群
⬅️レベル2フォーマット：反例提示
➡️レベル4フォーマット：PSEO
🔗DwG-1-18：矛盾こそが人生の道標となる
🔗積極的分離レベル3：自発的多元的分離
🔗DwG-1-30：各分離レベルを象徴するフォーマット
🔗DwG-2-37
🔗DwG-3-17：各分離レベルを象徴するフォーマット
定義
次のようなフォーマットです。
内部命題：成立を維持したい命題、あるいは実現したい命題Iを書く。
外部命題：Iと矛盾し、かつIを成立させるために棄却したい命題Eを書く。
矛盾証明：「I∧E⊢⊥」の証明を書く。
筆者：
日付：
JSON風に書くなら次のようになるでしょう。
{
"internalProp": "成立を維持したい命題、あるいは実現したい命題Iを書く。",
"externalProp": "Iと矛盾し、かつIを成立させるために棄却したい命題Eを書く。",
"contraProof": "「I∧E⊢⊥」の証明を書く。",
"author": "",
"date": ""
}