PanLinx
русский
rus-000
арифметически доказуемая формула
English
eng-000
arithmetically provable formula
PanLex