Forskel mellem versioner af "Matematisk formel"

Bag langt de fleste formler foreligger et [[bevis (matematik)|bevis]], men visse formler fremkommer enten som [[naturlov]]e, og kan dermed ikke bevises. Disse kaldes undertiden for [[empirisk|empiriske love]], eller [[aksiom]]er inden for matematikken.

 

Et eksempel på en formel inden for matematik er ''afstandsformlen'', der giver afstanden mellem to punkter i planen som output/resultat. Inputtet består af [[koordinat]]erne til to punkter.