https://1library.org/document/zg8d627y-theoretical-approaches-historical-understand-universality-mathematical-knowledge-implications.html