If you can't test it, it's not theorics -- it's metatheorics. A branch of philosophy. So, if you want to think of it this way, our test equipment is what defines the boundary separating theorics from philosophy.
Neal Stephenson, Anathem
mathematics, philosophy, religion, science