6.2 Un problema simple insoluble

El demostrador (del Arggone Natinla Laboratory) demostró, en esencia, que de las ecuaciones de algebra de Robbins:

x _ y = y _ x
(x _ y) _ z = x _ (y_ z)
: ( : (x_y) _ : (x_:y)) = x

Implican las ecuaciones de algebre de Boole:

x _ y = y _ x
(x _ y) _ z = x _ (y_ z)
: ( : (x_y) _ : (x_:y)) = x

Es decir el demostrador demostró ser capaz de razonar con ecuaciones matemáticas, de hacer demostraciones dentro de una teoría matemática.