parts of the above remind me of
sections from : "Gödel's Incompleteness (extra footage 1)" !
specifically "And at its heart is this idea of being able to code every statement in mathematics
with its own unique code number."
https://youtu.be/mccoBBf0VDM?t=279possibly all a bit over my head tbh !