| INDONESIA | ARAB |
|---|---|
| tahkik (penetapan kebenaran) | تَحْقِيْقٌ |
| sawab (yang benar, kebenaran) | الصَّوَابُ |
| yang selalu benar (suka terhadap kebenaran) | الصَّدُوقُ (ج صُدُقٌ) |
| aksioma (kebenaran yang tidak diragukan lagi) | بَدِيْهِيَّةٌ, حَقِيْقَةٌ مُقَرَّرَةٌ |
| axioma (kebenaran yang pasti) | بَدِيْهِيَّةٌ |