I absolutely adore this video (a YouTube short): https://youtube.com/shorts/sv-1cXvOoNQ
because it so intuitively and naturally communicates the essence of set theory and higher order logic
it viscerally describes the raw power of comprehension, of abstraction