Project plan Theoretical research on the foundation of mathematical intelligence, metamathematics More