通常の意味で「a」と「b」を定義できる場合は、「R」にこれらの「ビット」も定義する必要があります（「R」には異なるビットがあります）。

通常の意味で「a」と「b」を定義できる場合は、「R」にこれらの「ビット」も定義する必要があります（「R」には異なるビットがあります）。そのため、「ビット」の概念は2つの場合で異なり、一方の定義は他方で正しく、他方では正しくないという意味があります。これをリップマン・フォイエルバッハ・ロートマン・ジーゲル（LFS）ビューと呼びます。 「ビット」の概念は、「ビット3」が作用するビットまでの自然数「ビット1」、自然数「ビット2」などを意味します。 「ビット」の概念の別のバリエーションは、「有限集合」の概念の形で、シーゲルシーゲル（SLS）と呼ばれることがあります。 「ビット」のこの概念は、「ビット」の概念とまったく同じではありません。これは、自然数「ビット1」ではなく、より高い種類の数値を定義するためです。これは少しではなく自然数なので、新しいセットを定義する代わりに、実際にセットが有限の有限セットのセットであると再定義します。特に、有限集合Fごとに新しい集合Sを定義します。ただし、これは、この新しい集合が「自然数とは異なる」ということとまったく同じではありません。タプルの関係ではなく、関数の関係を扱っています。自然数が必要な場合は、セットにする必要があります。先ほど示した定義で、自然数を集合と定義すると、1つの要素の集合を持つ集合とまったく同じ集合、つまり実際にはグループを扱います。自然数を集合と定義すると、実数とまったく同じ集合を扱います。数の概念が本当に「自然」であるかどうかの問題にすぐに戻ります。この質問の詳細については、1。（1995）をご覧ください。 「ビット」関係で定義された「ビット」はありますか（通常の意味での関数としてではありません）？ 3.（1997）。 Frege-Russellの「リテラル」の定義について。この論文ではシンボリックロジックの理論を開発しようとはしていません（まだ完全ではありません）が、この提案が「BitLogic」のケースにまで拡張されるかどうかを見たいと思います。ビットコインの世界、