Na akkor most térünk vissza a filozófiai síkra?

Matematikai tétel és valóságra vonatkozó tétel? A matematika nem a valóság része? Az egyértelműség kérdése miért  kevésbé valóság, mint az ellentmondásmentesség?