Wkład użytkownika 83.30.71.226
Dla użytkownika 83.30.71.226 dyskusja blokady rejestry rejestr nadużyć
14 lis 2013
- 00:4200:42, 14 lis 2013 różn. hist. −20 System funkcjonalnie pełny Usuwam fałszywą wzmiankę o możliwości używania stałych 0 i 1. Stałe są to funkcje o arności 0 i nie można ich używać, jeśli nie należą do rozpatrywanego systemu. Poza tym, gdyby wolno było, {=>} byłby S.F.P., kładąc neq(x) := (x=>0). Znacznik: VisualEditor