{wiki}

Builds on top of <propositional logic>, adding notably <existential quantification>.


First-order logic

{c}
{wiki}

Revolutionary for its time, and a big part of <ourbigbook.com/motivation>[Ciro's Enlightenment].

But too insane, and did not https://tex.stackexchange.com/questions/39309/convert-latex-to-html/196520#196520[keep up with internet age], and so Ciro wants to kill it now.


LaTeX

Quadrilateral

Real coordinate space

Extinct and extant

{c}
{title2=1945}
{wiki}

<plutonium>-based.

Its plutonium was produced at <Hanford site>.


Fat Man

Fisher Scientific

{c}
{title2=433 ly}
{title2=1.8m}
{wiki}

= North Star
{c}
{synonym}
{title2}


Polaris

Russell Group

Software company

{tag=Good}

* There will be blood (2007). <ciro Santilli's film tastes>[Business and cynicism]. Also great music.
* Don't Look Up (2021). <Politics>.


Good film

{disambiguate=graph}
{wiki}

= Node
{disambiguate=graph}
{synonym}


Ciro Santilli @cirosantilli 37