Hacker News new | ask | show | jobs
by seeknotfind 808 days ago
If you want to see an organization of mathematical ideas, I'd recommend digging into https://us.metamath.org/. Great intro to formal systems, though many more layers of definitions than the OSI model.

Though, there may be canonical structures, any universal structure is illusive if not non-existent.