Rubuta wani ɗan gajeren sakin layi na labari da aka ba da batun da ke gaba:  Mutum X ya yi tambaya game da axiom
Tabbas, ga ɗan gajeren sakin layi: Kani ta yanke shawarar yin tambaya game da wata ka'ida da ta koya a ilimin lissafi. Ta so ta ga ko akwai hanyar da za a tabbatar da cewa axiom gaskiya ne. Bayan ta yi wasu bincike, Kani ta sami tabbaci da ya gamsar da ita kuma ta ci gaba da nazarinta.