Аксиома - это положение, принимаемое без доказательств. Что-то вроде теоремы, но не требующей доказательств. Используется при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Набор аксиом называется непротиворечивым, если исходя из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение, и его отрицание.