By Mazur's theorems (Reference:- Modular curves and the Eisenstein ideal, 1977),
we know that the only rational points of X\_0(N) for N any prime > 163 are
the two cusps (o) and (oo) (|X\_0(N)(Q)| = 2 ).


Is there any bound for |X\_0(N)(Q)|, where N is an arbitrary +ve integer?.


More Generally,


Is there a bound on the number of rational points on the modular curve
i.e. for |X\_0(N)(K)|, where K is some number field. We know that |X\_0(N)(K)| is finite.



Bound for the number of rational points on the modular curve
Let me restrict throughout to prime $N \geq 23$. This ensures that, indeed, $|X\_0(N)(K)|$ is finite, for any number field $K$. 


If your question is "For given $N$ and $K$, how big is $|X\_0(N)(K)|$?", then I don't really know. Certainly you'll have the two cusps, and possibly some "CM points" coming from CM elliptic curves; e.g., if $K = \mathbb{Q}(i)$, and $N$ splits in $K$. But these cusps and CM points are somehow "trivial". Remember Ogg in "Diophantine Equations and modular forms", 1975; "The conclusion toward which we are tending seems to be that modular curves only have rational points for which there is a reason". 


If your question is "Given a number field $K$, is there a bound $C(K)$ such that, if $N > C(K)$, then $X\_0(N)(K)$ is trivial?", then this question was studied by Momose in 1995 ("Isogenies of Prime Degree over number fields", Compositio Mathematica, 97). He proved (Theorem A in loc.cit.) that there is a bound $C(K)$ such that, if $N > C(K)$, then any noncuspidal point in $X\_0(N)(K)$ is one of three kinds (which he calls 'Type 1', 'Type 2', 'Type 3'). He then asks "Under what conditions on $K$ are there only finitely many points of these three types?" For instance, he shows that, for $K$ quadratic and not imaginary quadratic of class number one, then $X\_0(N)(K)$ has noncuspidal points for only finitely many $N$. 


Making this $C(K)$ effective has been done in a paper of Agnès David ("Caractère d’isogénie et critères d’irréductibilité", Théorème II, available on the arXiV). This paper also explains effectively how Momose's Type 1 and 2 points can only occur for finitely many primes (the type II case might require GRH for a really strong Effective Cheboratev Density Theorem, I'm not sure). Type 3 points don't occur if you assume your $K$ does not contain an imaginary quadratic field *and* its Hilbert Class Field. 


I was curious how large these bounds were in a specific example like $K=\mathbb{Q}(\sqrt{5})$; using the formulae in David's paper, I got that, for $N > 8 \times 10^{119}$, $X\_0(N)(K)$ has only the two cusps.


Dmitry Vaintrob's answer to [this question](https://mathoverflow.net/questions/42391/rational-isogenies-of-prime-degree) may also be useful. I think their Preprint is now on the arXiv. 


EDIT. Regarding your new question "Is there any bound for $|X\_0(N)(\mathbb{Q})|$, where $N$ is an arbitrary positive integer?", the answer is yes.


As a rough rule, $X\_0(N)(\mathbb{Q})$ contains *only* the cusps. How many cusps are there? Page 107 of Diamond And Shurman's book contains a nice table, which tells you that the number of cusps is $\sum\_{d|N}\phi(gcd(d,\frac{N}{d}))$. 


If $N \leq 10$, or $N = 12,13,16,18,25$, then the genus of $X\_0(N)$ is zero, and hence will have infinitely many rational points. If $N = 11,14,15,17,19,21,27$, then the genus is one; it turns out that these curves have rank zero, and in addition to the cusps, have $3,2,4,2,1,4,1$ more rational points, respectively. If $N = 37,43,67,163$, then, in addition to the cusps, there are $2,1,1,1$ more rational points, respectively. The results in this paragraph were certainly known before Mazur (I'm not quite sure exactly when). 


Fact. For any other integer $N$, there are only the cusps. 


This fact was proved for prime $N$ by Mazur. In the introduction to his "Rational Isogenies of Prime Degree" paper, he reduced the fact (for all $N$) to dealing with the cases $169,91,65,39,125$. I believe these cases were subsequently dealt with by work of Kenku and Mestre. 


