А их вообще нет нигде, ни в науке ни где еще. Логика это всего лишь переход от одного набора утверждений к другому, это путь, но откуда и куда? В начале логического построения стоит набор аксиом, и в конце стоит набор аксиом. А аксиома это нечто, не требующее доказательств, то есть иными словами это некая вера. Таким образом, любая логика это мостик между двумя верами, часто довольно вздорными. Например что вселенная вечна и бесконечна и тд. И человечество настолько прочно уже забыло об этом, что придает этой логике слишком большие полномочия, что эквивалентно слепой вере в ее всемогущество.
Любое логическое доказательство имеет силу только в той вере, на которой оно строится. Без нее оно рассыпается как карточный домик. Вы, например, никаким образом мне не сможете доказать, что вас зовут так-то и так-то. Даже вот такую простейшую вещь, не говоря уже о чем-то более сложном. Все строится только на вере.