Question 1
This image question appears in the interactive quiz.
Answer options
Key Idea
A subset is a set whose members all fit inside another set.
Logic and Foundations Quiz
Logic, proof, and limits of formal reasoning.
Answer five questions about Logic and Foundations and get instant feedback.
Question 2
What axiom says you can pick one item from each set, even if there are infinitely many sets?
Answer options
Key Idea
It is equivalent to surprising results like the well-ordering theorem, and it can even imply counterintuitive things like the Banach-Tarski paradox, where a ball can be split and reassembled into two.
Question 3
A step-by-step build-up of a conclusion from earlier steps
Answer options
Key Idea
In proof theory, a derivation is often pictured as a tree: the leaves are assumptions or axioms, and the root is the final conclusion you have justified.
Question 4
If a set has elements, then the power set has elements.
Answer options
Key Idea
Every element either appears or does not appear in a subset, so independent yes-no choices give subsets, for example 3 elements yield 8.
Question 5
What theorem shows that any strong enough consistent system misses some arithmetic truths?
Answer options
Key Idea
Gödel builds a self-referential arithmetic sentence that effectively says "I am not provable here", so if the system is consistent then is true but unprovable.
Continue learning
Learn and play with MAGMA Mentor to build your understanding step by step.