Axiomatization

1. Aksiyomlaştırma

2. Belitleştirme   3. Belitleme