数理論理学との関わり.