By adding an appropriate definition <https://github.com/digama0/mmj2/issues/70>, we can prove false and therefore prove that God exists (and also that it doesn't).
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/metamath/6a69bcbe-70d1-4714-8f37-c11bc33522fcn%40googlegroups.com.
