Paul Cohen's demonstration that CH is independent of ZFC via forcing models.
Mentioned in 1 video
Lex Fridman