**Foundations of Mathematics**
[Mathematical Logic](https://texonom.com/mathematical-logic-dc5a5765623c4cef9f76a78cca288960) [Set Theory](https://texonom.com/set-theory-a74b3919af5e4e6e885862f6f76103f9) 


### **Foundations of Mathematics Notion**
|Title|
|:-:|
|[Gödel’s incompleteness theorem](https://texonom.com/gdels-incompleteness-theorem-820d082fd9bf424f8125dda3bf9e859b)|
|[Langlands program](https://texonom.com/langlands-program-629d720ec59b4bf4a42c0b066675b220)|
|[Set Theory](https://texonom.com/set-theory-a74b3919af5e4e6e885862f6f76103f9)|
|[Type Theory](https://texonom.com/type-theory-a6967220456b47498b951f11598381f7)|
|[Category Theory](https://texonom.com/category-theory-1b6594b7d4ce4c128ec2f9aed95d9f3c)|



> [당신이 수학을 모르는 이유. (feat. 불완전성의 정리)](https://www.youtube.com/watch?v=oippSXvxUlw&t=590s)





