"A PA már ma sem jól írja le a valóságot, hiszen ahhoz pl. funkcionálanalízis, Lie-algebrák, differenciálgeometria, valamennyi ZFC kell."

 

Jól írja le alatt nem azt értem, hogy minden "igaz" dolgot be tudunk látni vele, hanem csak, hogy amit belátunk az valóban "igaz".

 

"De hát a "Mindenség" szó mindig a Mindenségre vonatkozik."

 

Igen, de nem minden nézet szerint van egy kitüntetett mindenség.

 

 

 

"hogy a V[G] generikus univerzumoknak V valódi része (ami, mint írtam, elég problematikus), akkor is veheted az összes V[G] struktúrát, és ez lesz egy Univerzum. Felteheted a kérdést, hogy milyen axiómákra zárt ez? ZFC-re zárt?"

 

Igen ám, de onnan miért nem mész tovább?

Az "igazi" világ kezdőszeletei terminusnak még ha valamilyen értelemben értelmet is tudunk adni, az szerintem mindenképpen problémás, hogy meddig tartson a világ és miért pont addig.

 

Ezt van aki úgy oldja meg magában, hogy fölülről nyitottnak képzeli, ami egy szimpatikus elképzelés, viszont a kvantorok értelmezése gondot okozhat.