Verifikasi adalah teori filasafat yang digunakan dalam analisis logis yang bisa dilakukan dengan menggunakan simbol-simbol logika dengan metode tertentu.
23 Nanging sane mangkin, santukan pakaryan tiange ring wewengkone irika sampun puput, samaliha sampun saking makudang-kudang taun tiang meled ngrauhin semeton, 24 pangajap-ajap tiange mangda indike punika prasida kalaksanayang sane mangkin.