למה מתכוונים כשאומרים "להוכיח באופן פורמלי"?

הכוונה להוכחה מתמטית בדרך מובנית (בד"כ כמו שמלמדים בכיתה)