Theses of PhD Thesis First-Order Logic Investigation of Relativity