foundations, consistency,

quotation,

Formalist school

Godel,

return