PanLinx
čeština
ces-000
důkaz dokazovaným
čeština
ces-000
definice kruhem
čeština
ces-000
tautologie
PanLex
