They considered this pure geometry where logic alone is enough to prove theorems without the need for measurement.