ВИФ2 NE

Re: А как... - Booker 04.12.2006 11:47:12 (105, 192 b)
- Т.е. они доказали минимальность набора аксиом, - Ktulu 04.12.2006 12:36:22 (70, 278 b)
  - Re: Т.е. они... - Booker 04.12.2006 13:26:36 (62, 352 b)
Re: А как... - tevolga 04.12.2006 11:41:09 (125, 121 b)
- Можно доказать минимальность набора аксиом. - Ktulu 04.12.2006 12:34:56 (93, 292 b)
  - Re: Можно доказать... - tevolga 04.12.2006 12:56:29 (82, 414 b)
    - Re: Можно доказать... - Ktulu 04.12.2006 13:15:20 (64, 726 b)
      - Re: Можно доказать... - tevolga 04.12.2006 13:23:19 (56, 430 b)
        
        Re: Можно доказать... - Ktulu 04.12.2006 13:38:35 (50, 694 b)
        
        Re: Можно доказать... - tevolga 04.12.2006 13:58:29 (52, 940 b)