Проверка знания не обязательно должна быть опытной.

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

Подобно этому (леавдил), обладая исходным знанием (соответствующим в науке аксиомам), в которое, действительно можно только верить, возможно проследить истинность выведения из этого знания всего знания последующего.

Естественно, проверка решения задачи будет проверяться через применение логических принципов, на которых автор основывался, предлагая данное решение, а проверка "решения задачи" в Торе должна осуществляться посредством применение логических принципов на которых основывается изучение Торы. (Напомню, что законы совершения выводов на основе Торы, также даны на горе Синай).