Выбрав теорию и нажав на кнопку "Поиск", Вы узнаете, какие формулы, доказуемы в выбранной теории.
!!! На этой странице не происходит дедуктивного вывода !!! – только поиск в БД.