indubitable

/ɪnˈdjuːbɪtəbəl/

That which is indubitable.

If we build logically upwards from a few indubitables, the whole system must remain correct.