可约性公理

reducibility axiom