In this paper, we discuss the conditions for the existence of first integrals of movement and the Liouville theorem on integrable systems. We revise the core results of the Hamilton-Jacobi theory and discuss the extension of the formalism to encompass constrained systems using Dirac brackets, originally developed in the context of the canonical quantization of constrained systems. As an application, we analyze a Hamiltonian that represents the classical limit of a Fermionic system of oscillators.