Ke wëël tɔthin ayekke wɛlɣic nï luŋkɔk tɔthin, cïtmande kayïï thuŋ, ka yekke dhuukic, ku jɔlya kïye cɔl conversion), ayï kɛkya wëëlkɛn adhuc ye cɔl axioms theory ku alë bennë yen waaric cïtmaanë luŋkɛn ke computation ye tɔ kämputɔ̈ɣic.