Existem três versões ou edições em forma de manuscrito, a segunda com provas diferentes ou expandidas das encontradas na primeira, e várias proposições adicionadas ao final; a terceira versão insere as proposições adicionadas em sua posição lógica no texto e, novamente, altera algumas das provas.