# Introduction to Mathematical foundations

Tags | |
---|---|

Created | |

Updated |

# Requisites

# Resources

# Introduction

## What is X?

## Why does X matter to you?

## Research

## Ecosystem

Standards, jobs, industry, roles, …

## Story

## FAQ

## Worked examples

Prove

# Set theory

Venn diagram. Euler diagram.

https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/

https://www.cs.uic.edu/~wilkinson/Publications/venneuler.pdf

https://www.benfrederickson.com/venn-diagrams-with-d3.js/

## Notes

## Worked examples

- Mathematics or Code. Automatic Verification such as Testing or Lean Proven?

- Languages in Anki.

## FAQ

## Further resources

# Type theory

# Next steps