Many outstanding difficult mathematical problems (e.g., abc conjecture, Twin Prime conjecture, “There are infinitely many counter examples of GoldBach Conjecture”, …) would involve some set in which its being infinite or otherwise has been only alleged – not proved. It seems natural then to ask if there’s a generic way to prove (in meta or in FOL) an alleged infinity exists. (Thus the question).
A word of caution to small and new merchants. Paykings claims to work with high risk merchandise merchant accounts. Paykings allegedly is a … | Read the rest of http://www.webhostingtalk.com/showthread.php?t=1734524&goto=newpost