Quasi-empirical method
Quasi-empirical methods are applied in science and in mathematics. The term "empirical methods" refers to experiment, disclosure of apparatus for reproduction of experiments, and other ways in which science is validated by scientists. Empirical methods are studied extensively in the philosophy of science but cannot be used directly in fields whose hypotheses are not invalidated by real experiment (mathematics, theology, ideology). In these fields, the prefix 'quasi' came to denote methods that are "almost" or "socially approximate" an ideal of truly empirical methods.
It is unnecessary to find all counterexamples to a theory; all that is required to disprove a theory logically is one counterexample. The converse does not prove a theory; Bayesian inference simply makes a theory more likely, by weight of evidence.
One can argue that no science is capable of finding all counter-examples to a theory, therefore, no science is strictly empirical, it's all quasi-empirical. But usually, the term "quasi-empirical" refers to the means of choosing problems to focus on (or ignore), selecting prior work on which to build an argument or proof, notations for informal claims, peer review and acceptance, and incentives to discover, ignore, or correct errors. These are common to both science and mathematics, and do not include experimental method.
Albert Einstein's discovery of the general relativity theory relied upon thought experiments and mathematics. Empirical methods only became relevant when confirmation was sought. Furthermore, some empirical confirmation was found only some time after the general acceptance of the theory.
Thought experiments are almost standard procedure in philosophy, where a conjecture is tested out in the imagination for possible effects on experience; when these are thought to be implausible, unlikely to occur, or not actually occurring, then the conjecture may be either rejected or amended. Logical positivism was a perhaps extreme version of this practice, though this claim is open to debate.
Post-20th-century philosophy of mathematics is mostly concerned with quasi-empirical methods especially as reflected in actual mathematical practice of working mathematicians.