Is there any precedent for courts recognizing mathematical or logical proofs? I was under the impression that courts, by their design, rely entirely on appeals to authority in the form of expert testimony.

For that matter, would it be possible to design a court system based on a fully modern understanding of logic, proof, induction, etc., rather than the seemingly ad hoc system we have now?