U
definicijama nikada nećeš sresti izraz „ako i samo ako“, odnosno skraćeno „akko“. Čim imaš to „ako i samo ako“ znači da se ne radi o definisanju nečega, već o nečemu što treba
dokazati. Definicija predstavlja samo davanje imena nečemu, dok se tvrđenja, leme i teoreme odnose na dokazivanje da je jedan objekat jednak drugome, nezavisno od toga kako su oni predstavljeni: svojim imenom ili sadržajem (ovde mislim na tvrđenja, leme i teoreme tipa „ako i samo ako“ — ona druga tvrđenja se odnose na dokazivanje da je neki logički iskaz tačan).
Ako se pitaš kako si mogao da znaš da se radi o definiciji, pored očiglednog odgovora da je tekst „Definicija“ verovatno prisutan, i ispisan
ovakvim polucrnim slovima, čisto laički govoreći, ukoliko pojam prvi put vidiš u udžbeniku, sve su šanse da se radi o definiciji.
[Ovu poruku je menjao Cabo dana 12.08.2008. u 17:36 GMT+1]