Abstract
LPi-omega is a deductive first-order theory over fuzzy logic LPi, which axiomatically captures Zadehs notion of fuzzy set and aims at giving a unified formal framework for a large part of fuzzy mathematics. An overview of the concepts expressible in the theory is given and informal proof methods for doing fuzzy mathematics in Lpi-omega are sketched.