If 'there are infinitely many primes' is literally true, its logical form quantifies over numbers, t...