FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM JAN VON Plato OriginalPaper Pages: 127 - 141