Nyora ndima pfupi yenyaya iri pamusoro penyaya inotevera:  MunhuX anobvunza axiom
Chokwadi, heino ndima pfupi: Adalind aida kuziva. Akabvunza pamusoro peimwe pfungwa yakanga yanyorwa nomudzidzisi wake wemasvomhu pabhodhi. Mudzidzisi wake akatsanangura kuti chaiva chokwadi chemasvomhu chaigona kuratidzwa nealgebra.