"mit nem tudsz megcsinálni, hogy igazolod, hogy ezek körül a(z "elkódoló") halmazok körül modellt lehet kiépíteni"

 

Még nem értem teljesen, hogy az a formula hogy 'a ZFC axiómákat elkódoló halmaz minden véges részhalmaza olyan, hogy nem vezethető le belőle ellentmondás' milyen viszonyban van a jegyzetben igazolt tétellel.

 

 

 

"~consis(ZFC) alatt is igaz, hogy nem lehet ellentmondás V-ben"

 

Ez érdekes. Én azt hittem, hogy ~consis(ZFC) esetén a halmazok tulajdonságait egymásnak ellentmondó módon mondtuk meg, így nincs is V.