notes-math-foundations
misc
bigNumbers
setsWithUndefinableElements
listOfFoundationalConcepts