מהו דבר פורמלי?

דבר פורמלי הוא דבר רשמי. כך למשל להתנהג בצורה פורמלית זה להתנהג בצורה רשמית.

במתמטיקה הוכחה פורמלית זו הוכחה שאינה דווקא אינטואיטיבית, אלא מדעית.

רישמי