Why is it not possible to represent transitive closure in First Order Logic?
I am learning about translating from Description logic to FOL. In description logic, it is possible to have transitive closure but i am wondering how it is possible in FOL. I found that it is not possible with FOL. The reason I found is " as a consequence of compactness theorem, it is not possible". I couldn't understand its meaning.