
W takim zapisie nie trzeba tu nic dodawać, prawda? że któryś z nawiasów należy do naturalnych itd.
Chyba że wypadaloby dopisać jeszcze ze W1 i W2 należą do naturalnych (tylko czy to nie jest oczywiste??).
Po prostu zastanawiam sie czy jak napisalem to co jest na koncu z tym kwantyfikatorem to czy przy kazdym przypadku musze dopisywać ze nawias nalezy do calkowitych/naturalnych.