Hilbert demostró en 1899 que tal cosa es imposible y desde entonces suele incluirse el teorema del hexágono de Pappus como un axioma de la geometría proyectiva.