This discussion tries to explicate some epistemological problems in connection with negation and the so-called godelian sentences. The paper examines some methods of generating negative formulas from positive bases, an proposes alternative methods which with some antinomic formula could be eliminated. The discussion tries to show, that some epistemological antinomies arise from the natural language, and most formal languages inherit the natural (and maybe false) way of indicating negations.