Czy w tym zadaniu dodanie założenia, które zapisałem na czerwono jest błędem?
Wręcz przeciwnie- jest naprawieniem błędu z aksjomatu :)
Wręcz przeciwnie- jest naprawieniem błędu z aksjomatu :)