論理学とか応用数学は?