Struct InternalSet 

pub struct InternalSet {
    pub property: String,
}

An internal set, defined by an internal property string.

Fields

property: String

Implementations

impl InternalSet

pub fn new(property: String) -> Self

pub fn is_internal(&self) -> bool

All sets defined by first-order formulas are internal.

pub fn overflow_principle(&self) -> bool

Overflow principle: if an internal set contains all standard naturals, it contains some non-standard natural.