Esto hace que realmente no haya una paradoja, ya que es perfectamente posible que nosotros podamos probar algo que los alumnos no puedan, debido al modo en que los axiomas se refieren a quien hace la prueba.