finite axiomatization

1. REDIRECT Axiom schema#Finite axiomatization

{{R with possibilities}}

{{R to section}}