The control of HIV/AIDS is not yet over. Recently, the main method of control is the use of counseling and antiretroviral therapy (ART). In this study, a mathematical model of HIV/AIDS transmission dynamics considering counseling, vaccination and ART is formulated and the existence of its unique solution is investigated.Key words: HIV/AIDS, Mathematical Model, Existence and Uniqueness of Solution, Counselling, Vaccination, Antiretroviral Therap