Mathematical Logic
[Mathematics](https://texonom.com/mathematics-2731da9546944e7bb9455cedddd0f87f) 


### 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문
### Mathematical Logic Notion
|Title|
|:-:|
|[Consistent Theory](https://texonom.com/consistent-theory-723eabed6024481c88326735c92bf831)|
|[Axiom](https://texonom.com/axiom-01147181157e4e68a84a5af85ffdd035)|
|[Proof](https://texonom.com/proof-063df012aa0b494d8db9c5edb8ef100d)|
|[Statement](https://texonom.com/statement-77fe55f90fce4e7b8b41e75036f2b774)|
|[Theorem](https://texonom.com/theorem-2dfea8ae9115493ba6c6a31251c53b66)|
|[Assumption](https://texonom.com/assumption-3ade69ed840b4a22be30b34af277e548)|
|[Conclusion](https://texonom.com/conclusion-3ad47bf08d274bfc86e4173cc367fc84)|



### Mathematical Logic Usages
|Title|
|:-:|




> [Untitled](https://en.wikipedia.org/wiki/Mathematical_logic)





