PanLinx: невыводимая формула

русский	rus-000
невыводимая формула

English	eng-000	disprovable formula
English	eng-000	underivable formula

PanLex-PanLinx