Дополнение первое, для тех, кто в танке: некоторые любят выдвигать как контраргумент доказательство теорем методом "от противного" в математике. Во-первых, принцип Оккама относится исключительно к сущностям, а не математическим абстракциям (никто не говорит, что логарифма "на самом деле нет", хотя его никто и не видел), а во-вторых, в любом случае это относится исключительно к триггерным системам "да/нет". Пример: если бит имеет значение либо 0, либо 1, то мы можем доказать негативный тезис - к примеру, что он не имеет значения 0 (тогда он автоматом имеет значение 1). А вот если мы докажем, что значение байта не 0, мы ничего не сможем сказать о его значении - какое именно из 1-7? Придется перебрать 7 из восьми возможных мест, где может стоять единица, или вообще - все 256 возможных значений. Ну а в случае бесконечности вариантов (доказать, что чего-то вообще нет) надо перебрать всего-навсего бесконечность без одного варианта :-)
Дополнение второе, для той же категории населения: некоторые (часто те же самые) любят утверждать приблизительно следующее: хорошо, мы не можем доказать наличия бога, а вы не обязаны; но тогда его наличие или отсутствие является предметом веры, и не более того. Рекомендация: внимательно перечитать закон необходимого основания выше в тексте.

Испытывайте, что благоугодно Богу.И не участвуйте в бесплодных делах тьмы, но и облечайте.