Potential infinity, as distinguished by Aristotle and formalized in constructivist mathematics, deno...