Text this: Completeness, compactness and Undecidability