Szerintem Gergő lentebbi érvelését egy intuicionista nem fogadná el.

Gergő feltételezte, hogy a "ZFC konzisztens " és "ZFC nem konzisztens" állítások közül valamelyik igaz. Mint ahogy én gyakran feltételezem, hogy egy gráfban vagy van kör vagy nincs. Ezek az intuicionista logikában nem megengedett feltevések.

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.