Fikk et varsel om at ¡­

Fikk et varsel om at det er en trykkfeil i obligen i del 3 Aksiomer, teorier og modeller:

Der defineres axiomet AT = for alle x, y, z(xGy ^ yGz -> xGy)

Men det skal s?klart v?re AT = for alle x, y, z(xGy ^ yGz -> xGz)!