I would like that somebody could point out the failure of the following argument:
- The law of excluded middle is a theorem in Metamath: https://us.metamath.org/mpeuni/exmid.html - However, the Continuum Hypothesis is a counterexample of the law of excluded middle in ZFC, since it is neither true nor wrong. How to avoid this conflict? Thanks! -- 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/f3de6454-93b6-4ae1-856a-ceb4bb88c0abn%40googlegroups.com.
