Assuming no new catagories, might further mathematical interrelatedness eventually decline? Perhaps another universal language might help - music. Is there an end to new music? For n components, one would have 2^n combinations. And for mathematics, for N components, one would have 2^N combinations. Since N>>>n, then 2^N>>2^n; thus one would have to assume the end to new music, before consideration of the end to new mathematics.