Skip to the graph Skip to filters Skip to details

Atlas of Fundamental Concepts

Guide Directory AI All fields Mathematics Physics Chemistry

© 2026 Advay Mengle · Terms · Edit me!

Search concepts

Type to see ranked matches. Use the up and down arrow keys to choose a result, then press Enter to open it.

Filters

Domain visibility buttons cycle gray → yellow → red: allowed, excluded from prerequisite context, then prohibited completely. Multi-domain concepts still match enabled secondary domains unless their primary domain is prohibited.

Edge labels Edge interaction only when zoomed in Construction junctions Hide prerequisites Show only primary domain matches Hide isolates without filtered relationsCross-field linksLayout

Theme Compact controls High resolution Fade transitions Animate graph Auto-fit Mark additional domains Overlay domains Hide edges while moving Dim prerequisites Highlight prerequisite pathExperimental featuresexperimentExperimental features may be unstable.

Motion blur Allow node dragging

Saved only in this browser and never included in shared URLs.

Open published dataset View graph data View data schema View story/view data View share-link codec View content provenance View content license Open user guide Open atlas directory Open published dataset Open AI integration Open local AI workbench Open standalone SVG

cv2.3.0 sv2.1.0 git#ee243f0

library_booksStoryFoundations and logicexpand_more

Follow syntax, theories, structures, models, formal proof systems, effective computation, and incompleteness. The Story separates semantic satisfaction from syntactic derivability and treats Gödel’s results with their actual hypotheses.

Step 1 of 18First-order signature

New to the atlas?

Start with a story or view

Open a curated configuration, or follow a numbered story through the graph.

Preparing the atlas…

Keyboard graph navigation: press N for concepts or E for relations; use arrow keys, Home, and End to move; Enter selects; Shift plus Enter selects and centers; plus and minus zoom; zero fits; Escape clears the selection. Use the visible viewport buttons as alternatives to dragging, wheel, and pinch gestures.

Select a concept

Select any concept, construction junction, or annotated relation by pointer, touch, search, or keyboard.

Construction junctions are diamonds. They show where multiple structures must coexist on the same carrier and satisfy compatibility conditions.

Move selected concept

Single-pointer and keyboard alternatives to dragging. Each activation moves the selected concept one step.

Curated starting points

Stories & Views

Open the stories and views directory

Relationship-aware analysis

Compare concepts

A First conceptB Second concept

Traversal

Choose two concepts to compare or connect.

Reading the graph

Guide to the Atlas

Open full user guide