狭义相对性原理是否被严格证明?还是说爱因斯坦根据实验现象和思考而假设的一条基本理论?