數理邏輯能力?