Matematikens fyra första lagar