PanLinx
русский
rus-000
тождественно истинная формула
English
eng-000
identically true formula
PanLex
