Abstrakt
LPi-omega je prvořádová deduktivní teorie nad fuzzy logikou LPi; tato teorie zachycuje axiomatický Zadehův pojem fuzzy množiny a je vytvořena s cílem poskytnout formální aparát pro značnou část fuzzy matematiky. Příspěvek podává základní přehled pojmů vyjádřitelných v této teorii a stručně popisuje metody neformálních důkazů pro fuzzy matematiku v LPi-omega.