Схемы аксиом с описанием и поиск теорий, в которых доказуема выбранная формула

На этой странице Вы можете выбрать формулу и получить перечень некоторых теорий, в которых данная формула доказуема.


Warning: mysql_connect() [function.mysql-connect]: Lost connection to MySQL server at 'reading initial communication packet', system error: 111 in /www/vhosts/theo.ru/html/theories/progs/deduct_2.php on line 14

Warning: mysql_select_db(): supplied argument is not a valid MySQL-Link resource in /www/vhosts/theo.ru/html/theories/progs/deduct_2.php on line 15

Warning: mysql_query(): supplied argument is not a valid MySQL-Link resource in /www/vhosts/theo.ru/html/theories/progs/deduct_2.php on line 16

Warning: mysql_num_rows(): supplied argument is not a valid MySQL result resource in /www/vhosts/theo.ru/html/theories/progs/deduct_2.php on line 18

Запрос не определен.