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