公理と公準
この記事では、公理と公準とは何かについて説明します。次に、結果の実証について説明します。この原理は新しい数学の発展の基礎となります。
簡単に言うと、これは一連のステートメントとして理解でき、それぞれのステートメントは前のステートメント、または真実であるとわかっているものの結果です。別の結果として何かを構築するにはどうすればよいでしょうか?
B が前のステートメントの結果であるとします。前述のステートメントのうち、A というステートメントがあります。このようにして、次のようになります。
$$A \rightarrow B$$ LRグラフ; A[ A - ステートメント ] -->|それは暗示します| B(B - 結果) B --> C{決定} C -->|A は B を意味します| D[B - 結果] 推移的な関係 推移的な関係とは、次のような関係がある場合です。
$$A \rightarrow B \quad \text{e} \quad B \rightarrow C \qquad \text{implicam} \qquad A \rightarrow C$$目的は、$A \rightarrow B$ が $B \rightarrow C.$ と同じ価値がある限り、$A$ が発生するたびに $C,$ が発生することを示すことです。