One Mathematic(s) or Many? Foundations of Mathematics in Today's Mathematical Practice [abstract + link to PDF, 37pp] User flexibeast, in the Philosophy of Mathematics subreddit, 22 Jan 2023