כפייה (לוגיקה מתמטית)