First-Order Logic Foundation of Relativity Theories