I've been watching the youtube videos where text-to-speech anime girls do nontrivial mathematics
"Still, there's one thing we can definitely say. That is, the structure of these 'natural numbers' satisfies the Peano axioms." Thank you Zundamon
@aescling But other videos include Fucked Up Weird Math
@aescling In this case they were actually doing the standard definition of the naturals, but the framing device was being isekaied into a world with no math and having to reintroduce mathematics from scratch