ax-mul-zero - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-mul-zero

Axiom ax-mul-zero 504

Description: Multiplication with zero. A standard axiom of second-order arithmetic. Robinson's sixth axiom.

**Assertion**
Ref	Expression
ax-mul-zero	⊢ li * ku'i'a 0 du li 0

This axiom is referenced by: pilji-no 508