論理積

論理積（conjunction）とは，$p$，$q$を命題（proposition）としたとき，\[p \land q\]を「pかつq」であることを主張する言明（statement）であると定義される．

Mathematics is the language with which God has written the universe.