Có nhiều hình thức luận toán học tương đương trong cơ học lượng tử. Một trong những hình thức luận lâu đời nhất và phổ biến nhất đó là "lý thuyết biến đổi" do Paul Dirac đưa ra, lý thuyết này thống nhất và tổng quát hóa hai hình thức luận sớm nhất của cơ học lượng tử – cơ học ma trận (do Werner Heisenberg, Max Born, và Pascual Jordan đưa ra) và cơ học sóng (bởi Erwin Schrödinger). Một hình thức luận khác của cơ học lượng tử đó là hình thức luận tích phân lộ trình của Feynman, trong đó một biên độ xác suất cơ học lượng tử được xem như là tổng của tất cả các đường đi khả dĩ cổ điển và phi cổ điển giữa trạng thái ban đầu và trạng thái cuối cùng. Hình thức luận của Feynman được xem là dạng tương đương của nguyên lý tác dụng trong cơ học cổ điển.
Có nhiều hình thức luận toán học tương đương trong cơ học lượng tử. Một hình thức luận khác của cơ học lượng tử đó là hình thức luận tích phân lộ trình của Feynman, trong đó một biên độ xác suất cơ học lượng tử được xem như là tổng của tất cả các đường đi khả dĩ cổ điển và phi cổ điển giữa trạng thái ban đầu và trạng thái cuối cùng.