Arithmetical complexity of first-order fuzzy logics