formálissá a kifejezésszótárban

formálissá tétel

formalization