Principia_Mathematica x 2024-01검색하면 ⊃이 맨위에. 참고로 집합 포함 기호(연산자) 아니고 material_implication (tmp curr 함의,implication?action=highlight&value=material_implication)
⊃이 맨위에. 참고로 집합 포함 기호(연산자) 아니고 material_implication (tmp curr 함의,implication?action=highlight&value=material_implication)
Principia Mathematica