Return to Article Details Formalizing Scientifically Applicable Mathematics in a Definitional Framework Download Download PDF