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