Axiom (3) becomes vacuously true under (M3) and is therefore not needed in this context.
Aksioma (3) menjadi benar-benar hampa di bawah (M3) dan oleh karenanya tidak diperlukan dalam konteks ini.