Changes

: Each point in <math>X\!</math> may be described by means of a ''singular proposition'', that is, a proposition that describes it uniquely.  This form of representation leads to the following enumeration of points:

: Each point in <math>X\!</math> may be described by means of a ''singular proposition'', that is, a proposition that describes it uniquely.  This form of representation leads to the following enumeration of points:

:: <math>X = \{ (\!|x|\!)(\!|y|\!),\ (\!|x|\!) y,\ x (\!|y|\!),\ x y \} \cong \mathbb{B}^2.</math>

:: <math>X = \{\ (\!|x|\!)(\!|y|\!),\ (\!|x|\!) y,\ x (\!|y|\!),\ x y\ \} \cong \mathbb{B}^2.</math>

: Each point in <math>X\!</math> may also be described by means of its ''coordinates'', that is, by the ordered pair of values in <math>\mathbb{B}</math> that the coordinate propositions <math>x\!</math> and <math>y\!</math> take on that point.  This form of representation leads to the following enumeration of points:

: Each point in <math>X\!</math> may also be described by means of its ''coordinates'', that is, by the ordered pair of values in <math>\mathbb{B}</math> that the coordinate propositions <math>x\!</math> and <math>y\!</math> take on that point.  This form of representation leads to the following enumeration of points:

:: <math>X = \{ (0, 0),\ (0, 1),\ (1, 0),\ (1, 1) \} \cong \mathbb{B}^2.</math>

:: <math>X = \{\ (0, 0),\ (0, 1),\ (1, 0),\ (1, 1)\ \} \cong \mathbb{B}^2.</math>

: The propositions of <math>X^\circ</math> form the space:

: The propositions of <math>X^\circ</math> form the space: