https://profilbaru.com/article/Decidability_(logic)