Formal Science Map (Math and Logic)