Formel bilimler hangi yöntemi kullanır