Ya, it could be more concise but I think that would require more prerequisites from the reader in terms of model theory and formal logic.