数理論理学すうりろんりがくsuurironrigakunounmathematical logicKanji in this word学study数number理logic論argumentStudy it in Yanamino