Struct Pi11Sentence 

pub struct Pi11Sentence {
    pub name: String,
    pub statement: String,
    pub ordinal_strength: Option<String>,
}

Represents a Π¹₁ sentence and its known proof-theoretic strength.

Fields

name: String

Name of the statement.

statement: String

The statement in informal mathematics.

ordinal_strength: Option<String>

Known ordinal proof-theoretic strength.

Implementations

impl Pi11Sentence

pub fn new( name: impl Into<String>, statement: impl Into<String>, ordinal_strength: Option<impl Into<String>>, ) -> Self

pub fn display(&self) -> String

Trait Implementations

impl Clone for Pi11Sentence

fn clone(&self) -> Pi11Sentence

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Pi11Sentence

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.