A műszaki alkalmazott mérnöki tudományban fontos eljárás: Egy mérés nem mérés. Egyfajta bizonyítás, nem bizonyítás.

Tehát Gödel tételeit, csak a matematikai Peanó-féle  "logika" alapján értelmezni, nem elegendő. Kellenének más módon való alátámasztások is.