Łukasiewicz_Propositional_logicの無矛盾性の定理