Sziasztok!
Nem épp "klasszikus" matek, de szerintem itt van a lejobb helyen. 
Matematikai logika:
Ha a Gentzen-féle szekvent kalkulus levezetése során több szabály is alkalmazható egy adott sorban, akkor mindegy hogy melyiket hajtom végre először?
Így is kijönnek az axiómák ha logikai törvény a formula/szekvent, csak más (atomi) formulák fognak a tablázat tetején állni, ez sem baj?
"Life's simple: You make choices and you don't look back."
