PanLinx
čeština
ces-000
základní nedokazatelná věta
čeština
ces-000
axiom
PanLex