Teorema con los axiomas de Hilbert
Hola,
intento demostrar, usando los axiomas de Hilbert, que si un punto B está entre A y C, y el punto C está entre A y D, entonces B está entre A y D. Ya llevo mucho tiempo intentando demostrarlo, sin avance alguno. Intentaba usar el axioma de pash, pero nada. Con la IA tampoco he podido porque siempre decide en algún momento hacer un salto y decir que algo es obvio según el dibujo.. Necesito ayuda :(
Muchas gracias de antemano