Но, ведь, в конце-концов, и ЖЛ - это, собственно, и не совсем логика, а, на мой взгляд, исключительно _способ вести спор_.;>
Что до аксиоматики - то Вы совершенно правы - она произвольна, и часто основана на вполне Аристотелевой логике (во всяком случае, по моим наблюдениям).:>