Buy Me a Coffee at ko-fi.com

Limited principle of omniscience

weakening of the law of excluded middle in constructive mathematics

Pronunciation

/ˈlɪmɪtɪd ˈprɪnsɪpəl əv ɒmˈnɪsɪəns/

/ˈlɪmədəd ˈprɪnsəpəl əv ɑmˈnɪʃəns/

Categories

axiom