I'm not on MO often - funny Iglad to have stumbled on your question... In general, as you noticed, -- I'm actually working on something along the analogous statement to Mazur's theorem is false: an examplelines of what you're asking about now with Eric Larson. If what we think we've proven is true $\mathbb{Q}[i]$(and don't quote this yet, wheresince we're not yet even done with the curve $j=1728$ has a rational isogenywrite-up,) then in fact you can say something stronger: you cannot have isogenies of order $p$p for any prime $p=1$ modp sufficiently large $4$.
However(where "sufficiently large" depends on K), you can still hope for it to hold for fieldsas long as K does not contain the class field of an imaginary quadratic extension in which p splits $K$(this exactly gets rid of primes which don't admit anyare isogenies of a CM curvescurve defined over $K$ whoseand with CM field is contained in $K$ (for exampleover K). So this holds for all but finitely manywould mean that if K is quadratic imaginary $K$ - namely, all except those with class number $1$.)
For $K$ satisfying this hypothesis, I'm pretty sure what you asked is in fact true: there is a finite list of primescan be no p-isogenies for which aany p-isogeny sufficiently large unless K is definedone of the finitely many quadratic imaginary fields of class number one (in fact there's even a finite list of prime powers q with cyclic q-isogenies.) I don't think there's a proof in the literaturewhich case, but I'm actually writing up a proof ofif our arguments work, this fact currently with Eric Larson. Our proof uses Galois representations insteadwould mean that all but finitely many possible prime degrees of counting points on modular curves and so is very different from Mazur's (and the bounds forisogeny p it gives are very big for most fieldssplit over K). A preprint should be up within the next couple of months.)
If you're really interested in a field $K$what happens to primes that admits such CM curvessplit, you can ask whether there's a finite list of, more generally, for any number field K, there are only finitely many primes that can be isogenies offor a non-CM curve $E$over K without CM. This question isseems harder to prove, sinceand as far as we know, is an open problem (to prove it, you'd need someto have a good way of distinguishing CM from non-CM curves, or at least carefully counting points on $X_0(N)$, and it is certainly still open). HoweverBut hypothetically this is stillalso true (it falls under: it fits into the more general hypothesisframework of SerreSerre's hypothesis that there's a finite list of "exceptional" primes"exceptional primes" of non-CM curves overwithout CM are bounded by a number field Kconstant depending only on $K$.)