Wikipedia is not a reliable source. Anybody can edit there.
The entries are 'general relativity' and 'quantum mechanics', not 'relativity theory' or 'quantum theory' as they were formerly known.
The way tygxc plays with words is simply scandalous. The fact that the entries do not include the word "theory" does not mean that they are not considered theories anymore. AFAIK, on any text book from high school up, they are still defined as theories. I used Wikipedia because it is accessible to everyone. On such important and general matters, if someone made the mistake to consider the subject a theory when it is not, it would be corrected quite soon.
The reason why they are theories is because the principles they are based upon cannot be exhaustively proven. For example, the special relativity postulates that the laws of physics are the same in any inertial system of reference. We cannot prove it true, because we do not know all the laws of physics (possibly we do not know any law of physics) and we cannot make tests in any possible inertial system of reference. The predictions of the theory are confirmed by experiments conceived to falsify it, so that is an indirect evidence, but not a definitive proof, that the postulate is correct.
The discussion about the philosophy of science is a bit off topic, though. Chess is a board game of perfect information: such games are declared solved when a mathematical (i.e. exhaustive) proof is found. Treating chess in a different way would be an unjustified privilege, imho, even if the game is still too complex to complete the task in a reasonable time. Does someone want to find a non-mathematical "solution"? Ok but do not call that "solution", because this term is already used in game theory; it is misleading to use it for something qualitatively very different.
The reason I sometimes criticised you, from the beginning of your posting here, is that I could tell there are basic conflicts within your model of science.
Which conflicts?
Ok, so you are not a positivist (I said that because you said that to you mathematical induction does not prove things better than inductive reasoning), but how do you prove things? To me a statement is proven when it holds true in any possible case. That does not mean that in real life or during a game of chess I do not make decisions based on incomplete informations. I bet, because I am compelled to do so or because the benefit-cost ratio is advantageous. But if we bet that the game-theoretic value of chess is a draw, how on earth could we say, without an exhaustive proof, that it is a draw with 100% of certainity?