En cada línea, la columna izquierda contiene una proposición, mientras que la columna derecha contiene una corta explicación de como la proposición correspondiente de la columna izquierda es o bien un axioma, una hipótesis, o puede ser derivada lógicamente de las preposiciones anteriores.