@carloangiuli@mathstodon.xyz "know how to elaborate to" is doing some work here. i don't need to be able to fit the entire tech tree of definitions in my head at once, but i should be able to reduce the top layer down to previously-understood mathematical principles (whose definitions in terms of foundations i could reconstruct if i put in the time). and yes, of course this is subjective; trust is a social construct