つーか論理を扱えないと数学科は無理