"Tegyük fel, hogy adva van a ZFC szintaktikájának a felépítése. Ehhez használtuk a halmazelméletet"

Pont ezt beszéltük régebben, hogy a külső szintaktikai szinthez nem kell halmazelmélet, csak jelek egyszerű manipulálása.

Az én felfogásomban az 1-es pontod a helyes, kiegészítve ezzal, hogy matekot  természettudományokban, informatikában stb használjuk, tehát itt bizonyos értelemben tapasztaljuk, hogy "valóságban igaz" amit bizonyítunk.