Давайте на антиподах: Есть верх - есть низ. Есть теорема - есть аксиома.
Теоремой можно пользоваться, если она доказана, а аксиомой можно пользоваться без необходимости что-то доказывать. Это как костанты в мат-ке, число "пи" = 3,14157....и только столько не отличаясь ни на один разряд !
Исходя из аксиом, доказываются теоремы, и если всё доказывается значит теория верна.
Доходчиво?