Supermathematics and Artificial General Intelligence