Amúgy szerintem Gergő elégedett azzal, hogy a bizonyításai, a szokásos elsőrendű ZFC-ben bizonyítások legyenek és másféle logikai rendszerek nem igazán érdeklik.

Valóban így van. Illetve számomra tényleg nem kérdéses, hogy ZFC vagy konzisztens vagy nem, az én világomba (fogalomrendszerembe) nem fér bele egy harmadik lehetőség. Hasonlóan nem kérdéses számomra, hogy az ikerprím-sejtés vagy igaz vagy nem.