Kompakt træ for Rudolf Georg von Carnap Quernheimb