User talk:T.Stokke

$\pi (x)=\frac{1}{2\pi i}\left(\int_{a-\infty i}^{a+\infty i}\frac{\log\zeta(s)}{s} \sum_{n=1}^\infty\frac{\mu(n)x^{s/n}}{n}\mathrm{d}s\right)$

$A \models A \or \neg A$