# गणितं

 ${\displaystyle p\Rightarrow q\,}$ Mathematical logic Set theory Category theory Theory of computation