Outline of 'An introduction to naive discovery of mathematics'