Primeras pruebas de arquilian de lògica que hay