All mathematical statements in constructive logic have an experimental test (actually since nonconstructive logic can be embedded in constructive logic via a double negation translation, they do too). Of course this isn&#x27;t always the most interesting test, since usually you are modeling some higher level concept inside the logic, and you would have a more high level test. For example for the calculation of pi you would measure the ratio between the diameter and perimeter of a circle.