It is not the case that A theorem being derivable in SQML doesn't make it a logical truth unless SQML's axioms capture the correct modal logic—which remains contested.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.