## Link https://youtu.be/mogMr45UTj4 ## Clips ### What exactly are the rules of the game? In other words, what are the allowable methods of creating new concepts, and what are the allowable methods of reasoning in proofs start = 0:45 end = 1:15 ### The (current) foundations of mathematics or ZFC start = 1:15 end = 2:16 ### A big list of stuff that people do in mathematics start = 2:15 end = 2:50