Kompakt træ for Johannes Christian Jørgensen Skolem