Jól értem, hogy szerinted is úgy van, hlgy elméleteket lehet gyártani, ezeket a matematika módszereivel le is lehet írni, meg lehet fogalmazni, de akkor is csak elméletek maradnak, míg igazolást nem nyernek, illetve míg egy másik elmélet felül nem írja?