не подлежащий, подобно математике или геометрии, никакой проверке, кроме проверки на внутреннюю непротиворечивость.
