Valószínűleg üres filozofálgatás, de:

Én régebben azon gondolkodtam, hogy ha már valamit intuitívan el kell fogadnunk, mi lenne az, ami a leg 'objektívebb' lenne. Mindegy milyen nehézkes formalizmus, csak tűnjön nagyon objektívnak.

Nem gondoltam bele rendesen, de olyanra gondoltam, hogy számomra a 'legobjektívebb' az lenne, ha egy egyszerű működésű gépet fogadnánk el abszolút alapnak. Mondjuk egy egyszerű Turing gépet.

Minden állítást Turing gépbeli programként írnánk le, és akkor lenne abszolút IGAZ egy állítás, ha arra mint bemenetre megállna az a Turing gép.

Pl. a Goldbach sejtés az egy olyan program, ami megy végig a páros számokon, és ha valamelyik nem áll elő két prím összegeként, akkor megáll.

Ha ez a program megáll, akkor a Goldbach sejtés IGAZ.

Egy Turing gép felfogható és meg is építhető egy mechanikai szerkezetként, így legalábbis egy laikus számára megofoghatóbb mint pl. a ZFC.

Persze ezt messze nem gondoltam át mélyebben, nincs is meg hozzá a halmazelméleti, matematikai logikai képzettségem.