You can proof something outside of a formal system. Algebra and the differential calculus are not formal systems, but you may have proofs within them. Look up model theory.
You can proof something outside of a formal system. Algebra and the differential calculus are not formal systems, but you may have proofs within them. Look up model theory.