New approach to probability logic with complete axiomatization